Pages that link to "Item:Q3543660"
From MaRDI portal
The following pages link to Real Number Calculations and Theorem Proving (Q3543660):
Displayed 4 items.
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- Formal proofs for theoretical properties of Newton's method (Q3094171) (← links)
- Formal Verification of Exact Computations Using Newton’s Method (Q3183542) (← links)