scientific article; zbMATH DE number 1497748

MaRDI QIDQ4499159zbMATH OpenFDO

Authors Bruno Buchberger

Publication date 6 March 2001

zbMATH Keywords

computer-aided theorem provingcomputer-aided theory exploration

Mathematics Subject Classification ID

Recommendations

• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Mathematical Theory Exploration
• The THOREM project: A progress report
• scientific article; zbMATH DE number 1254011
• Artificial Intelligence and Symbolic Computation

Cited in

(14)

• Automated theory exploration for interactive theorem proving: an introduction to the Hipster system
• A new symbolic method for solving linear two-point boundary value problems on the level of operators
• Automated conjecture making in number theory using HR, Otter and Maple
• The THOREM project: A progress report
• Exploring properties of residue classes
• The TM system for repairing non-theorems
• Ascertaining mathematical theorems
• Mathematical Theory Exploration
• scientific article; zbMATH DE number 2090054 (Why is no real title available?)
• Using Theorema in the Formalization of Theoretical Economics
• Artificial Intelligence and Symbolic Computation
• Hipster: integrating theory exploration in a proof assistant
• Into the Infinite - Theory Exploration for Coinduction
• \textit{Theorema}: Towards computer-aided mathematical theory exploration

Describes a project that uses

Uses Software

• Theorema

This page was built for publication:

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