Journal of Automated Reasoning

, Volume 50, Issue 2, pp 119–121

Formal Mathematics for Mathematicians

Foreward to the Special Issue
  • Andrzej Trybulec
  • Artur Kornilowicz
  • Adam Naumowicz
  • Krystyna Kuperberg
Open Access
Article

DOI: 10.1007/s10817-012-9268-z

Cite this article as:
Trybulec, A., Kornilowicz, A., Naumowicz, A. et al. J Autom Reasoning (2013) 50: 119. doi:10.1007/s10817-012-9268-z

Abstract

The collection of works for this special issue was inspired by the presentations given at the 2011 AMS Special Session on Formal Mathematics for Mathematicians: Developing Large Repositories of Advanced Mathematics. The issue features a collection of articles by practitioners of formalizing proofs who share a deep interest in making computerized mathematics widely available.

Keywords

Formalization Repositories of mathematics Mathematical proof reconstruction 
Download to read the full article text

Copyright information

© The Author(s) 2012

Authors and Affiliations

  • Andrzej Trybulec
    • 1
  • Artur Kornilowicz
    • 1
  • Adam Naumowicz
    • 1
  • Krystyna Kuperberg
    • 2
  1. 1.Department of Mathematics and InformaticsUniversity of BialystokBialystokPoland
  2. 2.Department of Mathematics and StatisticsAuburn UniversityAuburnUSA

Personalised recommendations