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: 32 (2024)
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: 2023-2024, expanding publishing software and development of web interface provided to authors
and editors under agreement RCN/SP/0479/2021/1 with the funds from the Polish Minister of Education and Science
for the development of scientific journals.
In years: 2016-2017, the English version of Formalized Mathematics was financed under agreement 548/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.