Formalized Mathematics is issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML).
The main version of the Journal is the electronic version.
The official abbreviation of the Journal is: Formaliz. Math.
List of Reviewers
- Kenichi Arai, Tokyo University of Science, Japan
- Czeslaw Bylinski, University of Bialystok, Poland
- Marco Caminati, University of St. Andrews, UK
- Roland Coghetto, La Louviere, Belgium
- Adam Grabowski, University of Bialystok, Poland
- Ievgen Ivanov, Taras Shevchenko National University, Kyiv, Ukraine
- Peter Jaeger, Munich, Germany
- Cezary Kaliszyk, University of Innsbruck, Austria
- Artur Kornilowicz, University of Bialystok, Poland
- Xiquan Liang, Qingdao University of Science and Technology, China
- Yatsuka Nakamura, Shinshu University, Japan
- Adam Naumowicz, University of Bialystok, Poland
- Hiroyuki Okazaki, Shinshu University, Japan
- Karol Pąk, University of Bialystok, Poland
- Marco Riccardi, University of Pisa, Italy
- Christoph Schwarzweller, University of Gdansk, Poland
- Josef Urban, Czech Institute of Informatics, Prague
- Katsumi Wasaki, Shinshu University, Japan
- Yasushige Watase, Tokyo, Japan
- Freek Wiedijk, Radboud University, the Netherlands.
All papers are reviewed by at least three experts from the relevant field (double-blind review process).
How to review formalized mathematics - guidelines by A. Bauer.
The reviewing process is described in detail in the following paper, pp.239-240: dx.doi.org/10.1007/978-3-540-73086-6_20, (pdf file)
Journal Authorship Policy (ghost-writing and guest authorship) is here.
Mathematical Proof-Checked Journal - all papers are checked by the Mizar System and automatically translated into English.
Open Access Statement
The journal is an Open Access journal that allows a free unlimited access to all its contents without any restrictions upon publication to all users.
Articles are available under the Creative Commons Attribution-ShareAlike License (CC-BY-SA) version 3.0 Unported (creativecommons.org/licenses/by-sa/3.0/).
A detailed report on choosing the license: arxiv.org/abs/1107.3212.
Open Access Policy: this journal provides immediate open access to its content.
The journal does not have article processing charges (APCs) nor article submission charges.
Articles should be submitted to:
Adam Grabowski,
Institute of Informatics
University of Bialystok
ul. Ciolkowskiego 1 M
15-245 Bialystok, Poland
by e-mail: mml@mizar.uwb.edu.pl