The following pages link to (Q4227289):
Displaying 18 items.
- Applications of real number theorem proving in PVS (Q469367) (← links)
- Formal analysis of optical systems (Q475384) (← links)
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Towards the Mathematics Software Bus (Q1389634) (← links)
- Computer algebra and artificial intelligence (Q1404691) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Enabling Symbolic and Numerical Computations in HOL Light (Q3453133) (← links)
- (Q4499163) (← links)
- A two-level approach towards lean proof-checking (Q4647567) (← links)
- Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework (Q5200105) (← links)
- Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)
- On the role of OpenMath in interactive mathematical documents (Q5950932) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)