Integrating computer algebra into proof planning
From MaRDI portal
Publication:1272609
DOI10.1023/A:1006059810729zbMath0916.68144OpenAlexW1881765559MaRDI QIDQ1272609
Volker Sorge, Michael Kohlhase, Manfred Kerber
Publication date: 3 January 1999
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1006059810729
Related Items
Formal and efficient primality proofs by use of computer algebra oracles ⋮ A bi-directional extensible interface between Lean and Mathematica ⋮ Comparing approaches to the exploration of the domain of residue classes. ⋮ Knowledge-based proof planning ⋮ Integrating searching and authoring in Mizar ⋮ Combined reasoning by automated cooperation ⋮ MBase: Representing knowledge and context for the integration of mathematical software systems ⋮ Ωmega: Towards a mathematical assistant ⋮ Combining Isabelle and QEPCAD-B in the Prover’s Palette
Uses Software
