Formalized Mathematics

(a computer assisted approach)

Open Access

Impact Factor

Metrics

All Volumes and Issues in this Journal

Volume 32 (2024)

Issue 1 (August 2024)

Volume 31 (2023)

Issue 1 (September 2023)

Volume 30 (2022)

Issue 4 (December 2022)
Issue 3 (October 2022)
Issue 2 (July 2022)
Issue 1 (April 2022)

Volume 29 (2021)

Issue 4 (December 2021)
Issue 3 (October 2021)
Issue 2 (July 2021)
Issue 1 (April 2021)

Volume 28 (2020)

Issue 4 (December 2020)
Issue 3 (October 2020)
Issue 2 (July 2020)
Issue 1 (April 2020)

Volume 27 (2019)

Issue 4 (December 2019)
Issue 3 (October 2019)
Issue 2 (July 2019)
Issue 1 (April 2019)

Volume 26 (2018)

Issue 4 (December 2018)
Issue 3 (October 2018)
Issue 2 (July 2018)
Issue 1 (April 2018)

Volume 25 (2017)

Issue 4 (December 2017)
Issue 3 (October 2017)
Issue 2 (July 2017)
Issue 1 (March 2017)

Volume 24 (2016)

Issue 4 (December 2016)
Issue 3 (September 2016)
Issue 2 (June 2016)
Issue 1 (March 2016)

Volume 23 (2015)

Issue 4 (December 2015)
Issue 3 (September 2015)
Issue 2 (June 2015)
Issue 1 (March 2015)

Volume 22 (2014)

Issue 4 (December 2014)
Issue 3 (September 2014)
Issue 2 (June 2014)
Special Issue: 25 years of the Mizar Mathematical Library
Issue 1 (March 2014)

Volume 21 (2013)

Issue 4 (December 2013)
Issue 3 (October 2013)
Issue 2 (June 2013)
Issue 1 (January 2013)

Volume 20 (2012)

Issue 4 (December 2012)
Issue 3 (September 2012)
Issue 2 (June 2012)
Issue 1 (January 2012)

Volume 19 (2011)

Issue 4 (December 2011)
Issue 3 (September 2011)
Issue 2 (June 2011)
Issue 1 (March 2011)

Volume 18 (2010)

Issue 4 (December 2010)
Issue 3 (September 2010)
Issue 2 (June 2010)
Issue 1 (March 2010)

Volume 17 (2009)

Issue 4 (December 2009)
Issue 3 (September 2009)
Issue 2 (June 2009)
Issue 1 (March 2009)

Volume 16 (2008)

Issue 4 (December 2008)
Issue 3 (September 2008)
Issue 2 (June 2008)
Issue 1 (March 2008)

Volume 15 (2007)

Issue 4 (December 2007)
Issue 3 (September 2007)
Issue 2 (June 2007)
Issue 1 (March 2007)

Volume 14 (2006)

Issue 4 (December 2006)
Issue 3 (September 2006)
Issue 2 (June 2006)
Issue 1 (March 2006)

Journal Information

Download Cover

Impact Factor

0.6

Five Year Impact Factor

0.9

JCI

MNiSW

Google Scholar h5-index

Google Scholar h5-median

eISSN:: 1898-9934
ISSN:: 1426-2630
Language:: English

Publication timeframe:: 1 times per year
Journal Subjects:: Mathematics, General Mathematics, Computer Sciences, Computer Sciences, other

Journal RSS Feed