Big Integers and Complexity Issues in Exact Real Arithmetic (1998)

Cached

Download Links

by Reinhold Heckmann
Venue:In Third Comprox workshop
Citations:4 - 3 self

Documents Related by Co-Citation

19 Continued Fraction Arithmetic – W Gosper - 1972
7 The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations – Reinhold Heckmann - 1997
42 A New Representation for Exact Real Numbers – Abbas Edalat, Peter John Potts - 1997
8 Contractivity of Linear Fractional Transformations – Reinhold Heckmann - 1998
29 Semantics of Exact Real Arithmetic – Peter John Potts, Abbas Edalat, Martín Hötzel Escardó - 1997
73 Exact Real Computer Arithmetic with Continued Fractions – Jean Vuillemin - 1990
10 Efficient on-line computation of real functions using exact floating point,” http://www.purplefinder.com/˜potts/efficient.pdf – P Potts - 1998
8 Lazy Computation with Exact Real Numbers – Abbas Edalat, Peter John Potts, Philipp Sünderhauf, Peter John - 1997
24 number computability and domain theory – Real
12 A functional approach to real number computation – P Di Gianantonio - 1993
49 Exact real arithmetic: Formulating real numbers as functions – H J Boehm, R Cartwright - 1990
47 PCF extended with real numbers – Martín Hötzel Escardó - 1996
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
33 Foundation of a Computable Solid Modelling – Abbas Edalat, André Lieutier - 2002
8 Exact Real Arithmetic based on Linear Fractional Transformations – P J Potts, A Edalat - 1996
14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
18 MSB-First Digit Serial Arithmetic – Asger Munk Nielsen, Peter Kornerup - 1995
42 Exact real arithmetic: A case study in higher order programming – H-J Boehm, R Cartwright, M Riggle, M O’Donnell - 1986
461 Domain Theory – Samson Abramsky, Achim Jung - 1994