Pages that link to "Item:Q3543660"
From MaRDI portal
The following pages link to Real Number Calculations and Theorem Proving (Q3543660):
Displaying 8 items.
- Real number computations: On the use of information (Q1346475) (← links)
- Exact real arithmetic for interval number systems (Q2015130) (← 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)
- Digital look up tables and real number theorem proving (Q2767918) (← 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)
- Validating Brouwer's continuity principle for numbers using named exceptions (Q4640313) (← links)