The following pages link to David R. Lester (Q714619):
Displayed 15 items.
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- Item:Q714619 (redirect page) (← links)
- A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. (Q1603892) (← links)
- Using PVS to validate the algorithms of an exact arithmetic. (Q1853641) (← links)
- Real Number Calculations and Theorem Proving (Q3543660) (← links)
- (Q3780416) (← links)
- (Q4474853) (← links)
- (Q4520289) (← links)
- (Q4531979) (← links)
- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving (Q4645809) (← links)
- (Q4942252) (← links)
- Verified Real Number Calculations: A Library for Interval Arithmetic (Q4975017) (← links)
- Numerical Software with Result Verification (Q5308359) (← links)
- FUNCTIONAL PEARL: Enumerating the rationals (Q5472307) (← links)
- Theorem Proving in Higher Order Logics (Q5477656) (← links)