Formalized Mathematics publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML). The world's largest and most rapidly growing repository of formalized mathematics.

The main version of the Journal is the electronic version. The official abbreviation of the Journal is: Formaliz. Math.

In years: 2023-2024, expanding publishing software and development of web interface provided to authors
and editors under agreement RCN/SP/0479/2021/1 with the funds from the Polish Minister of Education and Science
for the development of scientific journals.
In years: 2016-2017, the English version of Formalized Mathematics was financed under agreement 548/P-DUN/2016
with the funds from the Polish Minister of Science and Higher Education for the dissemination of science.

In years: 1995 - 1997 financed by Office of Naval Research Project (USA).

Senior Advisory Board. Editorial Board.
List of Reviewers.
All papers are reviewed by at least three experts from the relevant field (double-blind review process).

The reviewing process is described in detail in the following paper, pp.239-240:
http://dx.doi.org/10.1007/978-3-540-73086-6_20
, (pdf file)

How to review formalized mathematics - guidelines by A.Bauer.

Journal Authorship Policy (ghost-writing and guest authorship).

Mathematical Proof-Checked Journal - all papers are checked by the Mizar System and automatically translated into English.



Articles are available under the Creative Commons Attribution-ShareAlike License (CC-BY-SA) version 3.0 Unported
(http://creativecommons.org/licenses/by-sa/3.0/).
A detailed report on choosing the license.


Open Access Policy: this journal provides immediate open access to its content.




Owner of the journal:
            University of Bialystok
            Faculty of Computer Science
            Bialystok, Poland


Copyright © 1996-2024
                   by University of Bialystok (ISSN 1426-2630 (Print), eISSN 1898-9934 (Online)).
Copyright © 1990-1993
                   by Université Catholique de Louvain and Fondation Philippe le Hodey (ISSN 0777-4028).


Contact
dr Roman Matuszewski
University of Bialystok
Faculty of Computer Science
ul. Ciolkowskiego 1 M, room 2021
15-245 Bialystok, Poland
e-mail: romat@mizar.org