The following pages link to (Q4790649):
Displaying 10 items.
- PVS (Q16016) (← links)
- Applications of real number theorem proving in PVS (Q469367) (← links)
- Proof verification and proof discovery for relativity (Q514557) (← links)
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- The formalization of discrete Fourier transform in HOL (Q1666338) (← 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)
