Semantics of Exact Real Arithmetic (1997)

Cached

Download Links

by Peter John Potts , Abbas Edalat , Martín Hötzel Escardó
Citations:29 - 8 self

Documents Related by Co-Citation

73 Exact Real Computer Arithmetic with Continued Fractions – Jean Vuillemin - 1990
14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
19 Continued Fraction Arithmetic – W Gosper - 1972
18 MSB-First Digit Serial Arithmetic – Asger Munk Nielsen, Peter Kornerup - 1995
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996
49 Exact real arithmetic: Formulating real numbers as functions – H J Boehm, R Cartwright - 1990
8 Exact Real Arithmetic based on Linear Fractional Transformations – P J Potts, A Edalat - 1996
42 Exact real arithmetic: A case study in higher order programming – H-J Boehm, R Cartwright, M Riggle, M O’Donnell - 1986
9 Computable Real Arithmetic Using Linear Fractional Transformations – Peter John Potts - 1996
174 Signed-digit number representation for fast parallel arithmetic – A Avizienis - 1962
12 A functional approach to real number computation – P Di Gianantonio - 1993
19 Arbitrary Precision Real Arithmetic: Design and Algorithms – Valérie Menissier-Morain - 1996
24 number computability and domain theory – Real
10 Efficient on-line computation of real functions using exact floating point,” http://www.purplefinder.com/˜potts/efficient.pdf – P Potts - 1998
144 Semantics of programming languages – C Gunter - 1992
876 Interval analysis – R Moore - 1966
22 Approximation of Metric Spaces by Partial Metric Spaces – Reinhold Heckmann - 1996
137 Probabilistic Non-determinism – C Jones - 1990