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.

    Editorial Board
  • Jesse Alama, USA
  • Grzegorz Bancerek, Poland
  • Czesław Bylinski, Poland
  • Adam Grabowski, Poland
  • Fairouz Kamareddine, UK
  • Artur Kornilowicz, Poland
  • Krystyna Kuperberg, USA
  • Yatsuka Nakamura, Japan
  • Adam Naumowicz, Poland
  • Marco Riccardi, Italy
  • Piotr Rudnicki, Canada
  • Christoph Schwarzweller, Germany/Poland
  • Yasunari Shidama, Japan
  • Andrzej Trybulec, Poland
  • Joseph Urban, Czech Republic
  • Freek Wiedijk, the Netherlands
Language Editor: Pauline N. Kawamoto, Japan

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

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
                   by University of Bialystok (ISSN 1898-9934 (e), ISSN 1426-2630 (p)).


High Rank in CiteSeerX