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