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.
References
Autexier, S. et al. (eds.): Intelligent Computer Mathematics. LNAI 6167. Springer (2010)
Beringer, L., Felty, A. (eds.): Interactive Theorem Proving—Third International Conference. LNCS 7406. Springer (2012)
Davenport, J., et al. (eds.): Intelligent Computer Mathematics. LNAI 6824. Springer (2011)
Gonthier, G.: Formal proof—the four color theorem. Not. Am. Math. Soc. 55(11), 1382–1393 (2008)
Hales, T.C.: Formal proof. Not. Am. Math. Soc. 55(11), 1370–1380 (2008)
Harrison, J.: Formal proof—theory and practice. Not. Am. Math. Soc. 55(11), 1395–1406 (2008)
Jeuring, J., et al. (eds.): Intelligent Computer Mathematics. LNAI 7362. Springer (2012)
Kaufmann, M., Paulson, L.C. (eds.): Interactive Theorem Proving, First International Conference. LNCS 6172. Springer (2010)
van Eekelen, M.C.J.D., et al. (eds.): Interactive Theorem Proving—Second International Conference. LNCS 6898. Springer (2011)
Wiedijk, F.: Formal Proof—Getting Started. Not. Am. Math. Soc. 55(11), 1408–1414 (2008)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Trybulec, A., Kornilowicz, A., Naumowicz, A. et al. Formal Mathematics for Mathematicians. J Autom Reasoning 50, 119–121 (2013). https://doi.org/10.1007/s10817-012-9268-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-012-9268-z
Keywords
- Formalization
- Repositories of mathematics
- Mathematical proof reconstruction