|
28
|
Semantics of Exact Real Arithmetic
– Peter John Potts, Abbas Edalat, Martín Hötzel Escardó
- 1997
|
|
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
|
|
40
|
A New Representation for Exact Real Numbers
– Abbas Edalat, Peter John Potts
- 1997
|
|
42
|
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
– Abbas Edalat
- 1997
|
|
1
|
Number systems and Digit Serial Arithmetic
– Asger Munk Nielsen, Asger Munk Nielsen
- 1997
|
|
4
|
Big Integers and Complexity Issues in Exact Real Arithmetic
– Reinhold Heckmann
- 1998
|
|
4
|
A Calculator for Exact Real Number Computation
– Dave Plume
- 1998
|
|
41
|
A Domain-Theoretic Approach to Computability on the Real Line
– Abbas Edalat, Philipp Sünderhauf
- 1997
|
|
5
|
How Many Argument Digits are Needed to Produce n Result Digits?
– Reinhold Heckmann
- 1999
|
|
18
|
MSB-First Digit Serial Arithmetic
– Asger Munk Nielsen, Peter Kornerup
- 1995
|
|
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
|
|
1
|
Two Algorithms for Root Finding in Exact Real Arithmetic
– Abbas Edalat, Fabien Rico
- 1998
|
|
8
|
Lazy Computation with Exact Real Numbers
– Abbas Edalat, Peter John Potts, Philipp Sünderhauf, Peter John
- 1997
|
|
7
|
Integration in real PCF
– Abbas Edalat, Martín Hötzel Escardó
- 1996
|
|
|
In Pursuit of Real Answers ∗
– Angela Yun Zhu, Walid Taha, Robert Cartwright, Matthieu Martel, Jeremy G. Siek
|
|
|
Algorithms On Continued And Multicontinued Fractions
– Franck Nielsen
- 1993
|
|
5
|
LCF: A lexicographic binary representation of the rationals
– Peter Kornerup, David W. Matula
- 1995
|
|
2
|
Effective and sequential definition by cases on the reals via infinite signed-digit numerals
– Martín Hötzel Escardó
- 1998
|
