Formalized Mathematics
Formalized Mathematics
ISSN: 1426-2630 (print version)
ISSN: 1898-9934 (electronic version)
owner: University of Bialystok
publisher: Versita
distributor: University of Bialystok
Why subscribe and read
- Pioneering source of high quality research
in 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.
Why submit
- Fair and constructive peer review by international experts
in the field (three referees are designated for the
assessment of each manuscript).
- New publishing technology: articles automatically translated from a formal language into English and automatically typeset, available in both forms - electronic and printed.
- Articles abstracted by online indexing services and databases.
Description
- Pioneering Journal in the field of formalized and
mechanically checked mathematics.
- Excellent articles on latest research in formal methods
and computer-checked mathematics.
- Full-length original research articles in English.
- Archival issues available at the journal's home page http://fm.mizar.org/
Editors
- Editor-in-Chief: Roman Matuszewski, University of Bialystok, Poland
- Scientific Editor: Grzegorz Bancerek, Bialystok Technical University, Poland
- Language Editor: Pauline N. Kawamoto, Shinshu University, Japan
- Editors
Abstracting
SCOPUS, ISI Web of Science (Cited Reference Search="formaliz* math*"),Cite Seer-beta (Most Cited Computer Science Articles),
CrossRef, Polish Ministry of Science and Higher Education
