The following pages link to (Q4222971):
Displaying 10 items.
- Computations with effective real numbers (Q817859) (← links)
- Implementing exact real arithmetic in python, C++ and C (Q817863) (← links)
- Computing over the reals with addition and order (Q1338216) (← links)
- Refinement of rational end-points real numbers by means of floating-point numbers (Q1806125) (← links)
- Exact real arithmetic for interval number systems (Q2015130) (← links)
- Rational number approximation in higher radix floating point systems (Q2365975) (← links)
- Lazy algorithms for exact real arithmetic (Q2847781) (← links)
- Signed-bit representations of real numbers (Q3145944) (← links)
- (Q5178684) (← links)
- Lazy computation with exact real numbers (Q5234267) (← links)