Theorema 2.0: A System for Mathematical Theory Exploration

DOI10.1007/978-3-662-44199-2_9MaRDI QIDQ2879097zbMATH OpenOpenAlexFDO

Authors Wolfgang Windsteiger

Publication date 8 September 2014

Published in Mathematical Software – ICMS 2014 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44199-2_9

zbMATH Keywords

GPLautomated theorem provingTheoremauser interfacestheory explorationmathematical assistant system

Mathematics Subject Classification ID

Recommendations

• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• Theorema 2.0: computer-assisted natural-style mathematics
• The Theorema Environment for Interactive Proof Development
• Theo: An interactive proof development system
• scientific article; zbMATH DE number 1254011
• The Matita interactive theorem prover
• Artificial Intelligence and Symbolic Computation
• Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
• scientific article; zbMATH DE number 3870635

Cited in

(8)

• Mathematical theory exploration in Theorema: reduction rings
• \textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema}
• Synthesis of sorting algorithms using multisets in \textit{Theorema}
• Theorema 2.0: computer-assisted natural-style mathematics
• Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema
• Experiments with automated reasoning in the class
• Theorema
• The TH\(\exists\)OREM\(\forall\) project: A progress report

This page was built for publication: Theorema 2.0: A System for Mathematical Theory Exploration

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