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).

---

This Journal is abstracted/indexed in: DBLP, DOAJ, Web of Science IF=0.3, JCI=0.36, 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 = 6, h5-median = 7), IndexCopernicus (ICV 2021 = 112.75), J-Gate, JournalTOCs, Kudos MIAR (ICDS=10.0), Microsoft Academic Search, MyScienceWork, Naviga (Softweco), Portico, Primo Central (ExLibris), Publons, ReadCube, Research Gate, RG Journal Impact: 0.60, Scopus (2019: SJR SCImago = 0.112, CiteScore = 0.42, h-index = 8), Semantic Scholar, SHERPA/RoMEO, Summon (Serials Solutions/ProQuest), TDOne (TDNet), Ulrich's Periodicals Directory/ulrichsweb, Vifamath, Wan Fang Data, WorldCat (OCLC), WorldWideScience.org.

Senior Advisory Board.

• William W. Armstrong,

  University of Alberta, Canada,

• Robert S. Boyer,

  University of Texas at Austin, USA,

• Fairouz Kamareddine,

  Heriot-Watt University, U.K.,

Editorial Board.

• Jesse Alama, Thematic Editor - Logic

  Stanford University, USA,

• John Harrison, Thematic Editor - Computer Science

  Amazon Web Services, Portland, USA,

• Krystyna Kuperberg, Thematic Editor - Mathematics

  Auburn University, USA,

• Andrej Bauer,

  University of Ljubljana, Slovenia,

• Czeslaw Bylinski,

  University of Bialystok, Poland,

• Noboru Endou,

  Gifu National College of Technology, Japan,

• Pawel Gburzynski,

  Olsonet Communications Corporation, Canada,

• Adam Grabowski,

  University of Bialystok, Poland,

• Klaus Grue,

  University of Copenhagen, Denmark,

• Pauline N. Kawamoto,

  Shinshu University, Japan,

• Michael Kohlhase,

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

• Artur Kornilowicz,

  University of Bialystok, Poland,

• John Mayer,

  University of Alabama at Birmingham, USA,

• Adam Naumowicz,

  University of Bialystok, Poland,

• Alexander Shibakov,

  Tennessee Tech University, USA,

• Yasunari Shidama,

  Shinshu University, Japan,

• Geoff Sutcliffe,

  University of Miami, USA.

---

List of Reviewers.

• Kenichi Arai,

  Tokyo University of Science, Japan,

• Czeslaw Bylinski,

  University of Bialystok, Poland,

• Marco Caminati,

  University of St Andrews, Scotland,

• 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).

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