Journal of Automated Reasoning

, Volume 50, Issue 2, pp 119–121 | Cite as

Formal Mathematics for Mathematicians

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


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.


Formalization Repositories of mathematics Mathematical proof reconstruction 


  1. 1.
    Autexier, S. et al. (eds.): Intelligent Computer Mathematics. LNAI 6167. Springer (2010)Google Scholar
  2. 2.
    Beringer, L., Felty, A. (eds.): Interactive Theorem Proving—Third International Conference. LNCS 7406. Springer (2012)Google Scholar
  3. 3.
    Davenport, J., et al. (eds.): Intelligent Computer Mathematics. LNAI 6824. Springer (2011)Google Scholar
  4. 4.
    Gonthier, G.: Formal proof—the four color theorem. Not. Am. Math. Soc. 55(11), 1382–1393 (2008)MathSciNetMATHGoogle Scholar
  5. 5.
    Hales, T.C.: Formal proof. Not. Am. Math. Soc. 55(11), 1370–1380 (2008)MathSciNetMATHGoogle Scholar
  6. 6.
    Harrison, J.: Formal proof—theory and practice. Not. Am. Math. Soc. 55(11), 1395–1406 (2008)MATHGoogle Scholar
  7. 7.
    Jeuring, J., et al. (eds.): Intelligent Computer Mathematics. LNAI 7362. Springer (2012)Google Scholar
  8. 8.
    Kaufmann, M., Paulson, L.C. (eds.): Interactive Theorem Proving, First International Conference. LNCS 6172. Springer (2010)Google Scholar
  9. 9.
    van Eekelen, M.C.J.D., et al. (eds.): Interactive Theorem Proving—Second International Conference. LNCS 6898. Springer (2011)Google Scholar
  10. 10.
    Wiedijk, F.: Formal Proof—Getting Started. Not. Am. Math. Soc. 55(11), 1408–1414 (2008)MathSciNetMATHGoogle Scholar

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