|
Prior to publication in Formalized Mathematics, each Mizar article
should be checked by the Mizar
System and submitted to the
Mizar Mathematical Library (see How to submit an article to the MML) together
with an appropriate bibliography file summarizing the article (Summary) and providing
the address of the author(s), MML identifier, acknowledgements, notes on
financial support, etc.
The Editor reserves the right to edit articles. Articles should be submitted to: Adam Grabowski Institute of Mathematics University of Bialystok ul. Akademicka 2 15-267 Bialystok Poland |