论文信息 - Formal Mathematics for Mathematicians

Formal Mathematics for Mathematicians

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.

Adam Naumowicz | Artur Kornilowicz | Andrzej Trybulec | Krystyna Trybulec Kuperberg

[1] Stephen M. Watt,et al. Intelligent Computer Mathematics , 2014, Lecture Notes in Computer Science.

[2] T. Hales. Formal Proof , 2008 .

[3] John Harrison,et al. Formal Proof—Theory and Practice , 2008 .

[4] Micaela Mayero,et al. Formal Proof of SCHUR Conjugate Function , 2010 .

[5] Georges Gonthier,et al. Formal Proof—The Four- Color Theorem , 2008 .

[6] Sandra Rebholz,et al. Understanding the Learners' Actions when using Mathematics Learning Tools , 2012 .

[7] Josef Urban,et al. Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings , 2011, Calculemus/MKM.

[8] Amy P. Felty,et al. Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings , 2012 .

[9] Freek Wiedijk,et al. Formal proof -- getting started , 2008 .

[10] Herman Geuvers,et al. Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings , 2011, ITP.

[11] Lawrence C. Paulson,et al. Interactive Theorem Proving, First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings , 2010, ITP.