Analytica -- an experiment in combining theorem proving and symbolic computation

DOI10.1007/3-540-61732-9_48MaRDI QIDQ6560372zbMATH OpenFDO

Authors Andrej Bauer, Edmund Clarke, Xudong Zhao

Publication date 21 June 2024

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Analytica --- an experiment in combining theorem proving and symbolic computation
• A heuristic prover for elementary analysis in \textit{Theorema}
• scientific article; zbMATH DE number 1254011
• scientific article; zbMATH DE number 1863375
• MetiTarski: An automatic theorem prover for real-valued special functions

Cites work

• scientific article; zbMATH DE number 3884234 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 4098590 (Why is no real title available?)
• scientific article; zbMATH DE number 3702108 (Why is no real title available?)
• scientific article; zbMATH DE number 46359 (Why is no real title available?)
• An interactive calculus theorem-prover for continuity properties
• Edinburgh LCF. A mechanized logic of computation
• On connections and higher-order logic

This page was built for publication: Analytica -- an experiment in combining theorem proving and symbolic computation

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