Analytica -- an experiment in combining theorem proving and symbolic computation
From MaRDI portal
Publication:6560372
DOI10.1007/3-540-61732-9_48zbMATH Open1541.68421MaRDI QIDQ6560372FDOQ6560372
Authors: Andrej Bauer, Edmund Clarke, Xudong Zhao 
Publication date: 21 June 2024
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
Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Title not available (Why is that?)
- Edinburgh LCF. A mechanized logic of computation
- Title not available (Why is that?)
- Title not available (Why is that?)
- On connections and higher-order logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- An interactive calculus theorem-prover for continuity properties
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)
