Searching for "Exact real arithmetic using centred intervals and bounded error terms." – sorted by Relevance.
-
A coinductive approach to exact real number computation
- :41–59, 2005. J. Blanck. Exact real arithmetic using centred intervals and bounded error terms. JLAP, 66
- Add To MetaCart

