|
69
|
Exact real computer arithmetic with continued fractions
– J E Vuillemin
- 1990
|
|
18
|
MSB-First Digit Serial Arithmetic
– Asger Munk Nielsen, Peter Kornerup
- 1995
|
|
47
|
Exact Real Arithmetic: Formulating Real Numbers as Functions. Chapter 3 of
– H Boehm, R Cartwright
- 1990
|
|
14
|
Exact Real Computer Arithmetic
– Peter John Potts, Abbas Edalat
- 1997
|
|
19
|
Continued Fraction Arithmetic
– W Gosper
- 1972
|
|
45
|
PCF extended with real numbers
– Martín Hötzel Escardó
- 1996
|
|
40
|
A New Representation for Exact Real Numbers
– Abbas Edalat, Peter John Potts
- 1997
|
|
40
|
Exact Real Arithmetic: A Case Study in Higher Order
– Cartwright Boehm, Riggle, O’Donnell
- 1986
|
|
8
|
Exact Real Arithmetic based on Linear Fractional Transformations
– P J Potts, A Edalat
- 1996
|
|
19
|
Arbitrary Precision Real Arithmetic: Design and Algorithms
– Valérie Menissier-Morain
- 1996
|
|
24
|
number computability and domain theory
– Real
|
|
159
|
Signed-digit number representations for fast parallel arithmetic
– A Avizienis
- 1961
|
|
9
|
Computable Real Arithmetic Using Linear Fractional Transformations
– Peter John Potts
- 1996
|
|
11
|
A functional approach to real number computation
– P Di Gianantonio
- 1993
|
|
693
|
Interval Analysis
– R E Moore
- 1966
|
|
56
|
Domain Theory and Integration
– Abbas Edalat
- 1995
|
|
304
|
A Compendium of Continuous Lattices
– G Gierz, K H Hofmann, K Keimel, J D Lawson, M W Mislove, D S Scott
- 1980
|
|
9
|
Efficient on-line computation of real functions using exact floating point. Submitted for publication. Available from: http://theory.doc.ic.ac.uk/~pjp
– P J Potts
- 1997
|
|
138
|
Semantics of Programming Languages
– C A Gunter
- 1993
|
