A New Representation for Exact Real Numbers (1997)

by Abbas Edalat , Peter John Potts
Citations:42 - 8 self

Active Bibliography

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
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
29 Semantics of Exact Real Arithmetic – Peter John Potts, Abbas Edalat, Martín Hötzel Escardó - 1997
14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
4 Big Integers and Complexity Issues in Exact Real Arithmetic – Reinhold Heckmann - 1998
1 Two Algorithms for Root Finding in Exact Real Arithmetic – Abbas Edalat, Fabien Rico - 1998
5 How Many Argument Digits are Needed to Produce n Result Digits? – Reinhold Heckmann - 1999
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
17 Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry – Abbas Edalat, Reinhold Heckmann - 2002
8 Lazy Computation with Exact Real Numbers – Abbas Edalat, Peter John Potts, Philipp Sünderhauf, Peter John - 1997
7 Integration in real PCF – Abbas Edalat, Martín Hötzel Escardó - 1996
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
6 A Calculator for Exact Real Number Computation – Dave Plume - 1998
10 A universal characterization of the closed euclidean interval (Extended Abstract) – Martín H. Escardó, Alex K. Simpson - 2001
19 Arbitrary Precision Real Arithmetic: Design and Algorithms – Valérie Menissier-Morain - 1996
A golden ratio notation . . . – Pietro Di Gianantonio - 1996
23 Lazy Functional Algorithms for Exact Real Functionals – Alex K. Simpson - 1998