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.
Rejection - 59% of submitted articles. The rejection percentage is described in detail in the following paper, pp.239-240: http://dx.doi.org/10.1007/978-3-540-73086-6_20
SJR (SCOPUS SCImago Journal Rankings) 2012 = 0.1
Articles are available under the Creative Commons Attribution-ShareAlike License (CC-BY-SA) version 3.0 or later
Detailed report about it is here: http://arxiv.org/abs/1107.3212.
This Journal is abstracted/indexed in: DBLP,
IndexCopernicus (ICV 2012 = 7.18),
SCOPUS (SJR SCImago = 0.109),
Zentralblatt MATH (cover-to-cover reviewing in Zentralblatt MATH),
Celdes (China National Knowledge Infrastructure),
Cite Seer-beta (Most Cited Computer Science Articles) - High Rank in CiteSeerX,
CWTS Journal Indicators (SNIP = 0.41, RIP = 0.19),
EBSCO Discovery Service,
EBSCO - TOC Premier,
Electronic Journals Library,
Global eJournal Library,
Google Scholar Metrics (h5-index = 7, h5-median = 8),
Microsoft Academic Search,
NewJour - Electronic Journals & Newsletters,
Primo Central (ExLibris),
Summon (Serials Solutions/ProQuest),
Ulrich's Periodicals Directory/ulrichsweb,