Combining Isabelle and QEPCAD-B in the Prover’s Palette
From MaRDI portal
(Redirected from Publication:5505513)
Recommendations
- Integrating systems around the user: combining Isabelle, Maple, and QEPCAD in the prover's palette
- scientific article; zbMATH DE number 1863375
- scientific article; zbMATH DE number 1389645
- Tools and Algorithms for the Construction and Analysis of Systems
- A Skeptic's approach to combining HOL and Maple
Cites work
- A Framework for Interactive Proof
- A Skeptic's approach to combining HOL and Maple
- Automated Deduction in Geometry
- Automated Deduction – CADE-20
- Automation for interactive proof: first prototype
- Axioms and hulls
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Extending a Resolution Prover for Inequalities on Elementary Functions
- scientific article; zbMATH DE number 1629957 (Why is no real title available?)
- scientific article; zbMATH DE number 1254246 (Why is no real title available?)
- scientific article; zbMATH DE number 1302474 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- Integrating computer algebra into proof planning
- Isabelle. A generic theorem prover
- Partial cylindrical algebraic decomposition for quantifier elimination
- QEPCAD B
Cited in
(2)
This page was built for publication: Combining Isabelle and QEPCAD-B in the Prover’s Palette
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505513)
