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
Article

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 

References

  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