REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Formalized Mathematics : [284] 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, Plac Uniwersytecki 1,
p. 52, 15-420 Bialystok, 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

Przeglądaj

Kolekcje w zespole