Arbitrary Precision Real Arithmetic: Design and Algorithms (1996)

Cached

Download Links

by Valérie Menissier-Morain
Citations:19 - 0 self

Active Bibliography

4 The constructive reals as a Java Library – Hans-J. Boehm - 2004
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
10 A universal characterization of the closed euclidean interval (Extended Abstract) – Martín H. Escardó, Alex K. Simpson - 2001
93 The Exact Computation Paradigm – Chee Yap, Thomas Dubé - 1994
In Pursuit of Real Answers ∗ – Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
2 Incremental Addition in Exact Real Arithmetic – Philipp Sünderhauf - 1998
4 Big Integers and Complexity Issues in Exact Real Arithmetic – Reinhold Heckmann - 1998
8 Contractivity of Linear Fractional Transformations – Reinhold Heckmann - 1998
7 The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations – Reinhold Heckmann - 1997
A golden ratio notation . . . – Pietro Di Gianantonio - 1996
46 PCF extended with real numbers – Martín Hötzel Escardó - 1996
8 Number Computability and Domain Theory – Pietro Di Gianantonio - 1996
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
5 A Calculator for Exact Real Number Computation – Dave Plume - 1998
8 Static Analyses of Floating-Point Operations – Eric Goubault - 2001
1 Two Algorithms for Root Finding in Exact Real Arithmetic – Abbas Edalat, Fabien Rico - 1998
Admissible Digit Sets and a Modified Stern-Brocot Representation – J. Hughes, M. Niqui, Jesse Hughes, Milad Niqui - 2004
1 Implementing exact real arithmetic in python, C++ and C – Keith Briggs - 2004
2 The Robustness Issue – D. Michelucci