Journal of Formalized Reasoning

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Journal of Formalized Reasoning  
Abbreviated title (ISO 4)
J. Form. Reason.
Discipline Mathematical formalization
Language English
Edited by Andrea Asperti
Publication details
Publication history
Frequency Biannual
ISSN 1972-5787
OCLC no. 456198191

The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna.

Abstracting and indexing[edit]

The journal is abstracted and indexed in Scopus, MathSciNet, and Zentralblatt MATH.

External links[edit]