Pages that link to "Item:Q5425455"
From MaRDI portal
The following pages link to Efficient Exact Arithmetic over Constructive Reals (Q5425455):
Displaying 9 items.
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- The constructive reals as a Java library (Q1779561) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- Lookahead analysis in exact real arithmetic with logical methods (Q2680994) (← links)
- Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo (Q3003304) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- Lazy computation with exact real numbers (Q5234267) (← links)
- Certified Exact Real Arithmetic Using Co-induction in Arbitrary Integer Base (Q5458427) (← links)