Formalized Mathematics is to be issued quarterly and publishes papers which are abstracts of Mizar articles contributed to the Mizar Mathematical Library (MML) - the basis of a knowledge management system for mathematics.

The main version of the Journal is the paper version.

This Journal is abstracting in: SCOPUS, DBLP, DOAJ, Cite Seer-beta (Most Cited Computer Science Articles) - High Rank in CiteSeerX.

List of reviewers
    International
  • Jesse Alama, USA
  • Marco Caminati, Italy
  • Fairouz Kamareddine, UK
  • Pauline N. Kawamoto, Japan.
  • Krystyna Kuperberg, USA
  • Xiquan Liang, China.
  • Yatsuka Nakamura, Japan
  • Hiroyuki Okazaki, Japan.
  • Marco Riccardi, Italy
  • Piotr Rudnicki, Canada
  • Christoph Schwarzweller, Germany/Poland
  • Yasunari Shidama, Japan
  • Joseph Urban, Czech Republic
  • Freek Wiedijk, the Netherlands
    National
  • Grzegorz Bancerek, Poland
  • Czesław Bylinski, Poland
  • Adam Grabowski, Poland
  • Artur Kornilowicz, Poland
  • Adam Naumowicz, Poland
  • Karol Pšk, Poland
  • Andrzej Trybulec, Poland
Language Editor: Pauline N. Kawamoto, Japan

All papers are reviewed by at least three experts from the relevant field.

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

Mathematical Proof-Checked Journal - all papers are checked by the Mizar System and automatically translated into English. The system for automatic translation and typesetting with LaTeX is designed and implemented by Grzegorz Bancerek (the design is based on previous works of Andrzej Trybulec and Czeslaw Bylinski).


The paper version of the journal is published by:
            University of Bialystok
            Plac Uniwersytecki 1
            15-420 Bialystok, Poland

Copyright © 1990, 1991, 1992, 1993
                   by Fondation Philippe le Hodey (ISSN 0777-4028).
Copyright © 1996, 1997, 1998, 1999, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012
                   by University of Bialystok (ISSN 1426-2630 (p), ISSN 1898-9934 (e)).