Pages that link to "Item:Q5428262"
From MaRDI portal
The following pages link to Certified Computer Algebra on Top of an Interactive Theorem Prover (Q5428262):
Displayed 11 items.
- Formal analysis of optical systems (Q475384) (← links)
- Implementing geometric algebra products with binary trees (Q742367) (← links)
- The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- A bi-directional extensible interface between Lean and Mathematica (Q2673306) (← links)
- Enabling Symbolic and Numerical Computations in HOL Light (Q3453133) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- High-Level Theories (Q5505502) (← links)
- Automating Side Conditions in Formalized Partial Functions (Q5505512) (← links)
- Combining Isabelle and QEPCAD-B in the Prover’s Palette (Q5505513) (← links)