Formalized Mathematics : [428] Strona domowa zespołu Zobacz statystyki
Formalized Mathematics is issued quarterly and publishes papers which are "abstracts" of Mizar articles contributed to the Mizar Mathematical Library (MML). Mathematical Proof-Checked Journal - all papers are checked by the Mizar System - computer-checked mathematics.
- Pioneering Journal in the field of formalized and mechanically checked mathematics.
- The oldest journal in the field, a medium for the publication of research reporting pioneering findings of broad mathematical significance that are likely to advance the direction and thinking of the field.
- Long-term experience in publishing original articles on mechanizing mathematics and various aspects of automated reasoning, since 1990.
- New publishing technology: articles automatically translated from a formal language into English and automatically typeset, available in both forms - electronic and printed.
Redaktor naczelny: Roman Matuszewski
Kontakt: University of Bialystok, Institute of Informatics
ul. Ciolkowskiego 1 M, room 2021
15-245 Białystok, Poland
e-mail: romat@mizar.org
strona www: http://mizar.uwb.edu.pl/fm/
ISSN: 1426-2630 (p) 1898-9934 (e)
DOI: 10.2478/v10037 10.2478/forma
Punktacja MNiSZW: 2007: 4; 2009a: 4; 2010a: 6; 2012: 8; 2012a: 8; 2013: 7; 2014: 8; 2015: 12; 2016: 12; 2017s: 12; 18.12.2019: 20; 18.02.2021: 20; 1.12.2021: 20; 2023: 140