A New Representation for Exact Real Numbers (1997)

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

Documents Related by Co-Citation

73 Exact Real Computer Arithmetic with Continued Fractions – Jean Vuillemin - 1990
49 Exact real arithmetic: Formulating real numbers as functions – H J Boehm, R Cartwright - 1990
14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
29 Semantics of Exact Real Arithmetic – Peter John Potts, Abbas Edalat, Martín Hötzel Escardó - 1997
42 Exact real arithmetic: A case study in higher order programming – H-J Boehm, R Cartwright, M Riggle, M O’Donnell - 1986
18 MSB-First Digit Serial Arithmetic – Asger Munk Nielsen, Peter Kornerup - 1995
19 Continued Fraction Arithmetic – W Gosper - 1972
174 Signed-digit number representation for fast parallel arithmetic – A Avizienis - 1962
24 number computability and domain theory – Real
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996
232 An Introduction to Computable Analysis – K Weihrauch - 2000
9 Computable Real Arithmetic Using Linear Fractional Transformations – Peter John Potts - 1996
8 Exact Real Arithmetic based on Linear Fractional Transformations – P J Potts, A Edalat - 1996
12 A functional approach to real number computation – P Di Gianantonio - 1993
7 The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations – Reinhold Heckmann - 1997
19 Arbitrary Precision Real Arithmetic: Design and Algorithms – Valérie Menissier-Morain - 1996
461 Domain Theory – Samson Abramsky, Achim Jung - 1994
10 Efficient on-line computation of real functions using exact floating point,” http://www.purplefinder.com/˜potts/efficient.pdf – P Potts - 1998
8 Contractivity of Linear Fractional Transformations – Reinhold Heckmann - 1998