The following pages link to (Q3184782):
Displaying 10 items.
- Computations with effective real numbers (Q817859) (← links)
- A computer-verified monadic functional implementation of the integral (Q987984) (← links)
- Real numbers and computers (Q1279561) (← links)
- Computing over the reals with addition and order (Q1338216) (← links)
- Real number computations: On the use of information (Q1346475) (← links)
- Real computations with fake numbers (Q1599196) (← links)
- Coquelicot: a user-friendly library of real analysis for Coq (Q2018661) (← links)
- Formal Verification of Exact Computations Using Newton’s Method (Q3183542) (← links)
- (Q4222971) (← links)
- Experimental computation of real numbers by Newtonian machines (Q5438843) (← links)