Pages that link to "Item:Q2847781"
From MaRDI portal
The following pages link to Lazy algorithms for exact real arithmetic (Q2847781):
Displaying 8 items.
- The world's shortest correct exact real arithmetic program? (Q714620) (← links)
- Implementing exact real arithmetic in python, C++ and C (Q817863) (← links)
- Hashing lazy numbers (Q1340859) (← links)
- Arbitrary precision real arithmetic: design and algorithms (Q1779562) (← links)
- Lookahead analysis in exact real arithmetic with logical methods (Q2680994) (← links)
- (Q4218119) (← links)
- Lazy computation with exact real numbers (Q5234267) (← links)
- Efficient Exact Arithmetic over Constructive Reals (Q5425455) (← links)