Mathematical concepts in computer proofs

MaRDI QIDQ2997766zbMATH OpenFDO

Authors Koen Vervloesem

Publication date 9 May 2011

zbMATH Keywords

automated theorem provingcomputer-assisted proofsmethodology of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35) Mechanization of proofs and logical operations (03B35)

Recommendations

• Mathematical proofs in the computer age
• Theory Is Forever
• Mathematical proof
• Computer theorem proving in mathematics
• Proving and programming

Cited in

(10)

• Parallel processing and OOP as an analogy for the discovery of certain mathematical proofs
• Ugly mathematics: why do mathematicians dislike computer-assisted proofs?
• Theorem proving method and the computer science
• Checking proofs
• Mathematical proof
• scientific article; zbMATH DE number 1954188 (Why is no real title available?)
• Mathematical proofs in the computer age
• Mechanizing Mathematical Reasoning
• Theory Is Forever
• AlephZero and Mathematical Experience

This page was built for publication: Mathematical concepts in computer proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2997766)