Using computers in proofs both extends mathematics with new results and creates new mathematical questions about the nature and technique of such proofs. This special issue features a collection of articles by practitioners and theorists of such formal proofs which explore both aspects.
(pp. 1363)
Email this
Thomas Hales
(pp. 1370)
Email this
Georges Gonthier
(pp. 1382)
Email this
John Harrison
(pp. 1395)
Email this
Freek Wiedijk
(pp. 1408)
Email this