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

42

A New Representation for Exact Real Numbers
– Abbas Edalat, Peter John Potts
 1997

19

Continued Fraction Arithmetic
– W Gosper
 1972

29

Semantics of Exact Real Arithmetic
– Peter John Potts, Abbas Edalat, Martín Hötzel Escardó
 1997

174

Signeddigit number representation for fast parallel arithmetic
– A Avizienis
 1962

14

Exact Real Computer Arithmetic
– Peter John Potts, Abbas Edalat
 1997

47

PCF extended with real numbers
– Martín Hötzel Escardó
 1996

42

Exact real arithmetic: A case study in higher order programming
– HJ Boehm, R Cartwright, M Riggle, M O’Donnell
 1986

19

Arbitrary Precision Real Arithmetic: Design and Algorithms
– Valérie MenissierMorain
 1996

24

number computability and domain theory
– Real

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

8

Contractivity of Linear Fractional Transformations
– Reinhold Heckmann
 1998

13

Finite Precision Lexicographic Continued Fraction Number Systems
– P Kornerup, D W Matula
 1985

12

A functional approach to real number computation
– P Di Gianantonio
 1993

260

The Art of Computer Programming: Seminumerical Algorithms, AddisonWesley, third edition
– D E Knuth
 1998

876

Interval analysis
– R Moore
 1966

10

Efficient online computation of real functions using exact floating point,” http://www.purplefinder.com/˜potts/efficient.pdf
– P Potts
 1998
