|
5
|
How Many Argument Digits are Needed to Produce n Result Digits?
– Reinhold Heckmann
- 1999
|
|
7
|
The Appearance of Big Integers in Exact Real Arithmetic based on Linear Fractional Transformations
– Reinhold Heckmann
- 1997
|
|
8
|
Contractivity of Linear Fractional Transformations
– Reinhold Heckmann
- 1998
|
|
40
|
A New Representation for Exact Real Numbers
– Abbas Edalat, Peter John Potts
- 1997
|
|
28
|
Semantics of Exact Real Arithmetic
– Peter John Potts, Abbas Edalat, Martín Hötzel Escardó
- 1997
|
|
4
|
A Calculator for Exact Real Number Computation
– Dave Plume
- 1998
|
|
42
|
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
|
|
14
|
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
|
|
41
|
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
|
|
2
|
Real Number Computation through Gray Code Embedding
– Hideki Tsuiki
- 2000
|
|
9
|
A universal characterization of the closed euclidean interval, in
– Martín H. Escardó
- 2001
|
