Pages that link to "Item:Q1853641"
From MaRDI portal
The following pages link to Using PVS to validate the algorithms of an exact arithmetic. (Q1853641):
Displaying 5 items.
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Real Number Calculations and Theorem Proving (Q3543660) (← links)
- Robustness and Randomness (Q5302770) (← links)
- Abstract State Machines with Exact Real Arithmetic (Q5881448) (← links)
