Serial

• Pioneering source of high quality research in formalized and mechanically checked mathematics.
• The oldest journal in the field, a medium for the publication of research reporting pioneering findings of broad mathematical significance that are likely to advance the direction and thinking of the field.
• Long-term experience in publishing original articles on mechanizing mathematics and various aspects of automated reasoning, since 1990.
   

• Fair and constructive peer review by international experts in the field (three referees are designated for the assessment of each manuscript).
• New publishing technology: articles automatically translated from a formal language into English and automatically typeset, available in both forms - electronic and printed.
• Articles abstracted by online indexing services and databases.

• Pioneering Journal in the field of formalized and mechanically checked mathematics.
• Excellent articles on latest research in formal methods and computer-checked mathematics.
• Full-length original research articles in English.
• Archival issues available at the journal's home page http://fm.mizar.org/

• Editor-in-Chief: Roman Matuszewski, University of Bialystok, Poland
• Scientific Editor: Grzegorz Bancerek, Bialystok Technical University, Poland
• Language Editor: Pauline N. Kawamoto, Shinshu University, Japan
• Editors

Scopus, DBLP, DOAJ, IndexCopernicus, SJR SCImago, CrossRef, Cite Seer-beta (Most Cited Computer Science Articles), Zentralblatt MATH

59% of submitted articles. The rejection percentage is described in detail in the following paper, pp.239-240: http://dx.doi.org/10.1007/978-3-540-73086-6_20

Formalized Mathematics

dr Roman Matuszewski

University of Bialystok

Plac Uniwersytecki 1

mobile: +48 603 491 986

faks: + 48 85 745 74 78

e-mail: romat@mizar.org