Mathematical Theory Exploration

DOI10.1007/11814771_1MaRDI QIDQ3613395zbMATH OpenOpenAlexFDO

Authors Bruno Buchberger

Publication date 12 March 2009

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11814771_1

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 1497748
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
• scientific article; zbMATH DE number 3898269

Cited in

(7)

• Loop invariants: analysis, classification, and examples
• Automatic construction of implicative theories for mathematical domains
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 2217734 (Why is no real title available?)
• Conjectures, tests and proofs: an overview of theory exploration
• Mathematical Explorations
• An introduction to mechanized reasoning

This page was built for publication: Mathematical Theory Exploration

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