Jump to ContentJump to Main Navigation


Open Access
* Prices subject to change. Shipping costs will be added if applicable.

See all formats and pricing

Open Access
*Prices subject to change. Shipping costs will be added if applicable.

Formalized Mathematics

(a computer assisted approach)

4 Issues per year

SCImago Journal Rank (SJR): 0.154
Source Normalized Impact per Paper (SNIP): 0.338


Open Access

  • 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/

Aims and Scope

  • To build a uniform and extensible computer-checked repository of mathematical knowledge.
  • Reconstruction of mathematics based on mechanization of mathematical reasoning.
  • To check a wide range of mathematical theorems using a computer in an automatic fashion.
  • General mathematics: especially topology, lattice theory, functional analysis.
  • Applications: computer-aided verification of software and hardware, computer-aided teaching of mathematics.

Why subscribe and read

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

Why submit

  • Fair and constructive peer review by international experts in the field (three referees are designated for the assessment of each manuscript) - double-blind review process.
  • 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.

Rejection Rate

  • 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


Type of Publication:

Instructions for Authors

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,               Sapienza University of Rome, Italy,
  • Adam Grabowski,             University of Bialystok, Poland,
  • 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,
  • Andrzej Trybulec
                                                University of Bialystok, Poland,
  • Josef Urban,                        Radboud University, the Netherlands,
  • Katsumi Wasaki,                 Shinshu University, 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)

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. 

Articles are available under the Creative Commons Attribution-ShareAlike License (CC-BY-SA) version 3.0 Unported
A detailed report on choosing the license: http://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 Mathematics
        University of Bialystok
        ul. Akademicka 2
        15-267 Bialystok, Poland
by e-mail:   mml@mizar.uwb.edu.pl 

Back Issues


Other Files

Addenda 2008
Formalized Mathematics Bibliography File.
Formalized Mathematics External Bibliography File.

Formalized Mathematics is covered by the following services:

  • ArnetMiner
  • Celdes
  • CiteSeerX
  • CNKI Scholar (China National Knowledge Infrastructure)
  • DBLP Computer Science Bibliography
  • DOAJ
  • EBSCO - TOC Premier
  • EBSCO Discovery Service
  • Electronic Journals Library
  • Elsevier - SCOPUS
  • Google Scholar
  • Index Copernicus
  • J-Gate
  • JournalTOCs
  • Naviga (Softweco)
  • NewJour - Electronic Journals & Newsletters
  • Primo Central (ExLibris)
  • ReadCube
  • SCImago (SJR)
  • Summon (Serials Solutions/ProQuest)
  • TDOne (TDNet)
  • The Polish Digital Mathematical Library (DML-PL)
  • Ulrich's Periodicals Directory/ulrichsweb
  • WorldCat (OCLC)
  • WorldWideScience.org
  • Zentralblatt Math

Roman Matuszewski,            University of Bialystok, Poland

Scientific Editor
Grzegorz Bancerek,              Bialystok Technical University, Poland

Language Editor
Pauline N. Kawamoto,          Shinshu University, Japan

Editorial Board

  • Jesse Alama,                   Stanford University, USA,
    Thematic Editor - Logic
  • Krystyna Kuperberg,       Auburn University, USA,
    Thematic Editor - Mathematics
  • Andrzej Trybulec
                                             University of Bialystok, Poland,
    Thematic Editor - Computer Science
  • William W. Armstrong,   University of Alberta, Canada,
  • Robert S. Boyer,              University of Texas at Austin, USA,
  • 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,
  • John Harrison,                  Intel Corporation, USA,
  • Fairouz Kamareddine,      Heriot-Watt University, UK,
  • Pauline N. Kawamoto,      Shinshu University, Japan,
  • Michael Kohlhase,            Jacobs University, 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,

dr Roman Matuszewski
University of Bialystok
Plac Uniwersytecki 1
15-420 Białystok
mobile: +48 603 491 986
fax: + 48 85 745 74 78
e-mail: romat@mizar.org

Please log in or register to comment.