scientific article; zbMATH DE number 1497748

zbMATH Open0958.68156MaRDI QIDQ4499159FDOQ4499159

Authors: Bruno Buchberger 

Publication date: 6 March 2001

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

computer-aided theorem provingcomputer-aided theory exploration

Mathematics Subject Classification ID

Cited In (14)

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

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)