Integrating computer algebra into proof planning
From MaRDI portal
Publication:1272609
Recommendations
- Proof planning: A practical approach to mechanized reasoning in mathematics
- An integral theorem prover and the role of proof planning
- scientific article; zbMATH DE number 1222427
- scientific article; zbMATH DE number 1389647
- scientific article; zbMATH DE number 1863375
- scientific article; zbMATH DE number 5899421
- scientific article; zbMATH DE number 1538012
- scientific article; zbMATH DE number 4108029
- Computer-assisted proofs in analysis
- scientific article; zbMATH DE number 1538007
Cited in
(25)- An integral theorem prover and the role of proof planning
- A Skeptic's approach to combining HOL and Maple
- Comparing approaches to the exploration of the domain of residue classes.
- Knowledge-based proof planning
- Integrating searching and authoring in Mizar
- A bi-directional extensible interface between Lean and Mathematica
- Proof planning: A practical approach to mechanized reasoning in mathematics
- Interfacing computer algebra and deduction systems via the logic broker architecture
- scientific article; zbMATH DE number 1222427 (Why is no real title available?)
- scientific article; zbMATH DE number 2000435 (Why is no real title available?)
- scientific article; zbMATH DE number 1497744 (Why is no real title available?)
- scientific article; zbMATH DE number 1538007 (Why is no real title available?)
- scientific article; zbMATH DE number 1538012 (Why is no real title available?)
- scientific article; zbMATH DE number 1863375 (Why is no real title available?)
- scientific article; zbMATH DE number 2090057 (Why is no real title available?)
- scientific article; zbMATH DE number 1389645 (Why is no real title available?)
- scientific article; zbMATH DE number 1389647 (Why is no real title available?)
- Retargeting OpenAxiom to Poly/ML: towards an integrated proof assistants and computer algebra system framework
- \(\Omega\)\textsc{mega}: towards a mathematical assistant
- Mathematical Knowledge Management
- Certified Computer Algebra on Top of an Interactive Theorem Prover
- Combining Isabelle and QEPCAD-B in the Prover’s Palette
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Formal and efficient primality proofs by use of computer algebra oracles
- Combined reasoning by automated cooperation
This page was built for publication: Integrating computer algebra into proof planning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1272609)
