Title: Reliable Implementation of Real Number Algorithms: Theory and Practice
Subjects: Computational complexity, Computer science, Data processing, Algebra, Electronic data processing, Computer software, Algorithms, Real Numbers, Numerical analysis, Geometry