Computer verification of mathematical reasoning

MaRDI QIDQ4929925zbMATH OpenFDO

Authors Marco Maggesi, Carlos Simpson

Publication date 26 September 2010

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Computer theorem proving in mathematics
• Formal proof -- theory and practice
• scientific article; zbMATH DE number 1302064
• Supporting the formal verification of mathematical texts
• Machine-checked mathematics

Cited in

(3)

• Hidden verification for computational mathematics
• scientific article; zbMATH DE number 1302064 (Why is no real title available?)
• Mathematics and Software Verification

This page was built for publication: Computer verification of mathematical reasoning

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