Arbitrary Precision Real Arithmetic: Design and Algorithms (1996)

Cached

Download Links

by Valérie Menissier-Morain
Citations:19 - 0 self

Documents Related by Co-Citation

49 Exact real arithmetic: Formulating real numbers as functions – H J Boehm, R Cartwright - 1990
73 Exact Real Computer Arithmetic with Continued Fractions – Jean Vuillemin - 1990
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996
42 Exact real arithmetic: A case study in higher order programming – H-J Boehm, R Cartwright, M Riggle, M O’Donnell - 1986
19 Continued Fraction Arithmetic – W Gosper - 1972
24 number computability and domain theory – Real
18 MSB-First Digit Serial Arithmetic – Asger Munk Nielsen, Peter Kornerup - 1995
29 Semantics of Exact Real Arithmetic – Peter John Potts, Abbas Edalat, Martín Hötzel Escardó - 1997
14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
174 Signed-digit number representation for fast parallel arithmetic – A Avizienis - 1962
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
395 LCF considered as a programming language – G Plotkin - 1977
13 Finite Precision Lexicographic Continued Fraction Number Systems – P Kornerup, D W Matula - 1985
10 Efficient on-line computation of real functions using exact floating point,” http://www.purplefinder.com/˜potts/efficient.pdf – P Potts - 1998
9 Computable Real Arithmetic Using Linear Fractional Transformations – Peter John Potts - 1996
162 Complexity Theory of Real Functions – K-I Ko - 1991
876 Interval analysis – R Moore - 1966