Exact Real Computer Arithmetic (1997)

by Peter John Potts , Abbas Edalat
Citations:14 - 7 self

Active Bibliography

29 Semantics of Exact Real Arithmetic – Peter John Potts, Abbas Edalat, Martín Hötzel Escardó - 1997
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
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
6 A Calculator for Exact Real Number Computation – Dave Plume - 1998
1 Number systems and Digit Serial Arithmetic – Asger Munk Nielsen, Asger Munk Nielsen - 1997
4 Big Integers and Complexity Issues in Exact Real Arithmetic – Reinhold Heckmann - 1998
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
5 How Many Argument Digits are Needed to Produce n Result Digits? – Reinhold Heckmann - 1999
18 MSB-First Digit Serial Arithmetic – Asger Munk Nielsen, Peter Kornerup - 1995
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
1 Two Algorithms for Root Finding in Exact Real Arithmetic – Abbas Edalat, Fabien Rico - 1998
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
Algorithms On Continued And Multicontinued Fractions – Franck Nielsen - 1993
7 LCF: A lexicographic binary representation of the rationals – Peter Kornerup, David W. Matula - 1995
2 Effective and sequential definition by cases on the reals via infinite signed-digit numerals – Martín Hötzel Escardó - 1998