Ascertaining mathematical theorems

MaRDI QIDQ2852039zbMATH OpenFDO

Authors Roy L. McCasland, Alan Bundy, Patrick F. Smith

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106001071

Mathematics Subject Classification ID

Recommendations

• Automated theorem provers: a practical tool for the working mathematician?
• scientific article; zbMATH DE number 1497748
• Machine synthesis of mathematical theorems
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Computer theorem proving in mathematics

Cited in

(4)

• Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
• Hipster: integrating theory exploration in a proof assistant
• High-Level Theories
• Automated theorem provers: a practical tool for the working mathematician?

This page was built for publication: Ascertaining mathematical theorems

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