Formalized Mathematics publishes papers which are Mizar articles contributed to the Mizar Mathematical Library (MML). They form the Repository of formally checked mathematics.

Publication timeframe: Volume Open. The official abbreviation of the Journal is: Formaliz. Math. The main version of the Journal is the electronic version.

---

	In years 2023-2024: Formalized Mathematics was financed 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: 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).

---

This Journal is abstracted/indexed in: DBLP, Web of Science IF=1.0, JCI=0.9, Zentralblatt MATH (cover-to-cover reviewing in Zentralblatt MATH), ArnetMiner, Baidu Scholar - suspended by China internal censorship, Cabell's Directories, Celdes (China National Knowledge Infrastructure), CiteSeerX, CNKI Scholar, CNPIEC, CrossRef, CWTS Journal Indicators (2019: SNIP = 0.18, IPP = 0.12), DeepDyve, DML-PL, EBSCO Academic Search Ultimate, EBSCO Complementary Index, EBSCO STM Source, Electronic Journals Library, EuDML, EuroPub, Genamics Journal Seek, Global eJournal Library, Google Scholar Metrics (h5-index = 5, h5-median = 8), IndexCopernicus (ICV 2024 = 165), J-Gate, Kudos MIAR (ICDS=10.0), Microsoft Academic Search, Naviga (Softweco), Portico, Primo Central (ExLibris), Publons, ReadCube, Research Gate, RG Journal Impact: 0.60, Semantic Scholar, TDOne (TDNet), Ulrich's Periodicals Directory/ulrichsweb, Wan Fang Data, WorldCat (OCLC).

Editor-in-Chief     Cezary Kaliszyk,     University of Melbourne, Australia.

Honorary Board

• William W. Armstrong,

  University of Alberta, Canada,

• Robert S. Boyer,

  University of Texas at Austin, USA,

• Fairouz Kamareddine,

  Heriot-Watt University, U.K.,

• Michael Kohlhase,

  Friedrich-Alexander-University, Erlangen-Nuremberg, Germany.

Editorial Board

• Cezary Kaliszyk, Thematic Editor - Automated Reasoning

  University of Melbourne, Australia,

• John Harrison, Thematic Editor - Computer Science

  Amazon Web Services, Portland, USA,

• Krystyna Kuperberg, Thematic Editor - Mathematics

  Auburn University, USA,

• Jesse Alama,

  Stanford University, USA,

• Kenichi Arai,

  Nagasaki University, Japan,

• Andrej Bauer,

  University of Ljubljana, Slovenia,

• Marco Caminati,

  Lancaster University, UK,

• Pawel Gburzynski,

  University of Alberta, Canada,

• Adam Grabowski,

  University of Bialystok, Poland,

• Klaus Grue,

  University of Copenhagen, Denmark,

• Pauline N. Kawamoto,

  Shinshu University, Japan,

• Artur Kornilowicz,

  University of Bialystok, Poland,

• John Mayer,

  University of Alabama at Birmingham, USA,

• Adam Naumowicz,

  University of Bialystok, Poland,

• Marco Riccardi,

  University of Pisa, Italy,

• Pawel Stacewicz,

  Warsaw University of Technology, Poland,

• Geoff Sutcliffe,

  University of Miami, USA,

• Josef Urban,

  Czech Institute of Informatics, Prague,

• Freek Wiedijk,

  Radboud University, the Netherlands.

---

List of Reviewers.

• Czeslaw Bylinski,

  Association of Mizar Users,

• Roland Coghetto,

  A.S.B.L. La Louviere, Belgium,

• Noboru Endou,

  Gifu National College of Technology, Japan,

• Adam Grabowski,

  University of Bialystok, Poland,

• Ievgen Ivanov,

  Taras Shevchenko National University, Kyiv, Ukraine,

• Peter Jaeger,

  Munich, Germany,

• Artur Kornilowicz,

  University of Bialystok, Poland,

• Roman Matuszewski,

  Association of Mizar Users,

• Xiquan Liang,

  Qingdao University of Science and Technology, China,

• Yatsuka Nakamura,

  Shinshu University, Japan,

• Kazuhisa Nakasho,

  Iwate Prefectural University, Japan,

• Adam Naumowicz,

  University of Bialystok, Poland,

• Hiroyuki Okazaki,

  Shinshu University, Japan,

• Karol Pąk,

  University of Bialystok, Poland,

• Christoph Schwarzweller,

  University of Gdansk, Poland,

• Yasunari Shidama,

  Shinshu University, Japan,

• Katsumi Wasaki,

  Shinshu University, Japan,

• Yasushige Watase,

  Rissho University, Tokyo, Japan,

• Hiroshi Yamazaki,

  Nagano Prefectural Institute of Technology, Japan.

---

All papers are reviewed by at least two 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 in LaTeX. Instruction for Authors.

---

Articles are available under the Creative Commons Attribution-ShareAlike License (CC-BY-SA) version 4.0
(http://creativecommons.org/licenses/by-sa/4.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 Managing Editor: Roman Matuszewski
	Copyright © 1996-2025                    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 to Managing Editor:
dr Roman Matuszewski
University of Bialystok
Faculty of Computer Science
ul. Ciolkowskiego 1 M, room 2021
15-245 Bialystok, Poland
e-mail: romat@uwb.edu.pl