The following pages link to (Q3497626):
Displaying 5 items.
- Verified interactive computation of definite integrals (Q2055881) (← links)
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- The gauge integral theory in HOL4 (Q2375421) (← links)
