Theorema 2.0: A System for Mathematical Theory Exploration

DOI10.1007/978-3-662-44199-2_9zbMath1403.68229OpenAlexW64540772MaRDI QIDQ2879097

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

Related Items

\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ Experiments with automated reasoning in the class ⋮ Synthesis of sorting algorithms using multisets in \textit{Theorema} ⋮ Mathematical Theory Exploration in Theorema: Reduction Rings ⋮ Theorema ⋮ Automatic Synthesis of Merging and Inserting Algorithms on Binary Trees Using Multisets in Theorema