Formalized Mathematics (ISSN: 1426-2630)

Description

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
Articles are available under the Creative Commons Attribution-ShareAlike License (CC-BY-SA) version 3.0 or later
(http://creativecommons.org/licenses/by-sa/3.0/).
Detailed report about it is here: http://arxiv.org/abs/1107.3212
This Journal is abstracted/indexed in:

SCOPUS, SJR SCImago = 0.11,

DBLP,

Zentralblatt MATH,

DOAJ,

CrossRef,

MetaPress,

IndexCopernicus,

Summon by Serials Solutions,

Cite Seer-beta (Most Cited Computer Science Articles),

Google Scholar Metrics (h5-index = 7, h5-median = 11),

JournalTOCs.