The following pages link to (Q4934140):
Displaying 6 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Integrating computer algebra into proof planning (Q1272609) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning (Q3637261) (← links)
- Certified Computer Algebra on Top of an Interactive Theorem Prover (Q5428262) (← links)
- On the role of OpenMath in interactive mathematical documents (Q5950932) (← links)