Pages that link to "Item:Q1272609"
From MaRDI portal
The following pages link to Integrating computer algebra into proof planning (Q1272609):
Displayed 9 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- Comparing approaches to the exploration of the domain of residue classes. (Q1404427) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Ωmega: Towards a mathematical assistant (Q5234706) (← links)
- Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)