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.


All papers are reviewed by at least three experts from the relevant field.
    Editorial Board
  • Jesse Alama, USA
  • Czesław Bylinski, Poland
  • Adam Grabowski, Poland
  • Artur Kornilowicz, Poland
  • 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: Zdzisław Głębocki, University of Bialystok

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


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


High Rank in CiteSeerX