F.M. Cover Page       
         http://fm.mizar.org/
Formalized
Mathematics

(a computer assisted approach)

ISSN 1426-2630 (Print)
eISSN 1898-9934 (Online)
DOI: 10.2478/forma

Since 2006, papers have been published by the
  SCIENDO

Editor-in-Chief    Roman Matuszewski
Language Editor  Pauline N. Kawamoto

Established in 1990.    In the years 1990 - 1993 published by the Université Catholique de Louvain.
            

      FM Bibliography file
      External Bibliography file

Content by Articles


Volume 26 (2018)
Articles in press: Nr.3, Nr.4
Number 2
Number 1
Volume 25 (2017)
Number 4
Number 3
Number 2
Number 1

Volume 24 (2016)
Number 4
Number 3
Number 2
Number 1
Volume 23 (2015)
Number 4
Number 3
Number 2
Number 1
Volume 22 (2014)
Number 4
Number 3
Special Issue-Number 2
Number 1

Volume 21 (2013)
Number 4
Number 3
Number 2
Number 1
Volume 20 (2012)
Number 4
Number 3
Number 2
Number 1

Volume 19 (2011)
Number 4
Number 3
Number 2
Number 1

Volume 18 (2010)
Number 4
Number 3
Number 2
Number 1

Volume 17 (2009)
Number 4
Number 3
Number 2
Number 1

Volume 16 (2008)
Number 4
Number 3
Number 2
Number 1

Volume 15 (2007)
Number 4
Number 3
Number 2
Number 1

Volume 14 (2006)
Number 4
Number 3
Number 2
Number 1

Volume 13 (2005)
Number 4
Number 3
Number 2
Number 1

Volume 12 (2004)
* Number 3
Number 2
Number 1
Volume 11 (2003)
Number 4
Number 3
Number 2
Number 1

Volume 10 (2002)
Number 3
Number 2
Number 1
Volume 9 (2001)
Number 4
Number 3
Number 2
Number 1

Volume 8 (1999)
Number 1
Volume 7 (1998)
Number 2
Number 1
Volume 6 (1997)
Number 4
Number 3
Number 2
Number 1
Volume 5 (1996)
Number 4
Number 3
Number 2
Number 1

Volume 4 (1993)
Number 1
Volume 3 (1992)
Number 2
Number 1
Volume 2 (1991)
Number 5
Number 4
Number 3
Number 2
Number 1
Volume 1 (1990)
Number 5
Number 4
Number 3
Number 2
Number 1

Questions: romat@mizar.org
In years: 2016-2017, the English version of Formalized Mathematics was financed under agreements 548/P-DUN/2016 and 548/1/P-DUN/2016 with the funds from the Polish Minister of Science and Higher Education for the dissemination of science.

The Journal's web server is maintained thanks to collaboration with Department of Informatics of Warsaw University of Life Sciences (SGGW).