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

Active Bibliography

5 How Many Argument Digits are Needed to Produce n Result Digits? – Reinhold Heckmann - 1999
8 Contractivity of Linear Fractional Transformations – Reinhold Heckmann - 1998
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
29 Semantics of Exact Real Arithmetic – Peter John Potts, Abbas Edalat, Martín Hötzel Escardó - 1997
6 A Calculator for Exact Real Number Computation – Dave Plume - 1998
48 Domains for Computation in Mathematics, Physics and Exact Real Arithmetic – Abbas Edalat - 1997
1 Two Algorithms for Root Finding in Exact Real Arithmetic – Abbas Edalat, Fabien Rico - 1998
14 Exact Real Computer Arithmetic – Peter John Potts, Abbas Edalat - 1997
17 Computing with Real Numbers - I. The LFT Approach to Real Number Computation - II. A Domain Framework for Computational Geometry – Abbas Edalat, Reinhold Heckmann - 2002
Admissible Digit Sets and a Modified Stern-Brocot Representation – J. Hughes, M. Niqui, Jesse Hughes, Milad Niqui - 2004
43 A Domain-Theoretic Approach to Computability on the Real Line – Abbas Edalat, Philipp Sünderhauf - 1997
8 Lazy Computation with Exact Real Numbers – Abbas Edalat, Peter John Potts, Philipp Sünderhauf, Peter John - 1997
In Pursuit of Real Answers ∗ – Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
A note on tensors in the LFT approach to exact real arithmetic – Philipp Sünderhauf - 1997
2 Incremental Addition in Exact Real Arithmetic – Philipp Sünderhauf - 1998
19 Arbitrary Precision Real Arithmetic: Design and Algorithms – Valérie Menissier-Morain - 1996
3 Constructive Analysis with Witnesses – Helmut Schwichtenberg
Stan's Library, Volume I, www.ebyte.it/library/Library.html Binary Iterated Powers – Sykora Stanislav