F.M. Cover Page       
         https://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
Established in 1990.    In the years 1990 - 1993 published by the Université Catholique de Louvain.
            

      FM Bibliography file
      External Bibliography file

Content by Articles

Articles in press: Vol.31
Open Volume 31 (2023)
Volume 30 (2022)
Number 4
Number 3
Number 2
Number 1
 Volume 29 (2021)
Number 4
Number 3
Number 2
Number 1
 Volume 28 (2020)
Number 4
Number 3
Number 2
Number 1
Volume 27 (2019)
Number 4
Number 3
Number 2
Number 1

 Volume 26 (2018)
Number 4
Number 3
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 Institute of Information Technology of Warsaw University of Life Sciences.