Theorema 2.0: A System for Mathematical Theory Exploration

DOI10.1007/978-3-662-44199-2_9zbMATH Open1403.68229OpenAlexW64540772MaRDI QIDQ2879097FDOQ2879097

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

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

zbMATH Keywords

GPLautomated theorem provingTheoremauser interfacestheory explorationmathematical assistant system

Mathematics Subject Classification ID

Cited In (7)

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

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)