Algorithm-supported mathematical theory exploration: A personal view and strategy

DOI10.1007/978-3-540-30210-0_20MaRDI QIDQ5464706zbMATH OpenOpenAlexFDO

Authors Bruno Buchberger

Publication date 19 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Artificial intelligence (68T99) Symbolic computation and algebraic computation (68W30)

Recommendations

• Mathematical Theory Exploration
• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• scientific article; zbMATH DE number 1497748
• The THOREM project: A progress report
• A Rational Reconstruction of a System for Experimental Mathematics

Cited in

(11)

• Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques
• Soft math math soft
• Theorema 2.0: A System for Mathematical Theory Exploration
• scientific article; zbMATH DE number 5824053 (Why is no real title available?)
• Mathematical Theory Exploration
• scientific article; zbMATH DE number 1497748 (Why is no real title available?)
• A survey of research in automated mathematical conjecture-making
• scientific article; zbMATH DE number 2217734 (Why is no real title available?)
• Morley's theorem revisited: origami construction and automated proof
• Conjectures, tests and proofs: an overview of theory exploration
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Describes a project that uses

Uses Software

• Automath
• ALF
• Nuprl
• OMDoc
• LEGO

This page was built for publication: Algorithm-supported mathematical theory exploration: A personal view and strategy

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