|
624
|
On computable numbers, with an application to the Entscheidungsproblem
– Turing
- 1936
|
|
138
|
Signed-Digit Number Representations for Fast Parallel Arithmetic
– Avizienis
- 1961
|
|
73
|
Computability: An introduction to recursive function theory
– Cutland
- 1986
|
|
66
|
Exact real computer arithmetic with continued fractions
– Vuillemin
- 1990
|
|
60
|
Fast multiple-precision evaluation of elementary functions, d
– BRENT
- 1976
|
|
38
|
Exact real arithmetic: A case study in higher order programming
– Böhm, Cartwright, et al.
- 1986
|
|
34
|
Recursive Real Numbers
– Rice
- 1954
|
|
25
|
Constructive Analysis, volume 279 of Grundlehren der mathematischen Wissenschaften
– Bishop, Bridges
- 1985
|
|
19
|
On-line CORDIC algorithms
– Lin, Sips
- 1990
|
|
18
|
Continued fraction arithmetic
– Gosper
- 1972
|
|
17
|
A lazy solution to imprecision in computational geometry
– Benouamer, Jaillon, et al.
- 1993
|
|
17
|
Constructive Real Interpretation of Numerical Programs
– Boehm
- 1987
|
|
15
|
Precise Numerical Analysis
– Aberth
- 1988
|
|
13
|
A stochastic arithmetic for reliable scientific computation
– Vignes
- 1993
|
|
7
|
Arithmétique exacte, conception, algorithmique et performances d’une implémentation informatique en précision arbitraire. Thèse, Université Paris 7
– Ménissier-Morain
- 1994
|
|
6
|
Error analysis in computing
– Vignes, Porte
- 1974
|
|
4
|
The CAML Numbers Reference Manual
– Ménissier-Morain
- 1992
|
|
3
|
of the computing accuracy by using probabilistic approach, in Contribution to Computer Arithmetic and Self--Validating Numerical Methods
– Chesneaux, Study
- 1990
|
|
2
|
Aspects algorithmiques du syst`eme de calcul arithm'etique en multipr'ecision PARI. Th`ese de doctorat, Universit'e de Bordeaux I
– Batut
- 1989
|
|
2
|
User transparent interval arithmetic
– Daumas, Mazenc, et al.
- 1993
|
|
2
|
Arithm'etique des ordinateurs. Etudes et recherches en informatique
– Muller
- 1989
|
|
2
|
A new Course in Analysis. Note of a course given between 1972 and
– Stolzenberg
- 1972
|
|
2
|
Computability. EATCS monographs on theoretical computer science
– Weihrauch
- 1987
|
|
2
|
Exaktes Rechnen mit reellen Zahlen und anderen unendlichen Objekten
– Wiedmer
- 1977
|
|
2
|
Calculs avec des fractions d'ecimales et d'autres objets infinis. Compte-rendu d'un expos'e `a l'Institut de Programmation de l'Universit'e Paris VII
– Wiedmer
- 1979
|
|
1
|
Logique math'ematique, volume 2
– Cori, Lascar
- 1993
|
|
1
|
Introduction to computability. Addison-Wesley series in computer science and information processing
– Hennie
- 1977
|
|
1
|
Enumerability Decidability Computability. An introduction to the theory of recursive functions
– Hermes
- 1965
|
|
1
|
Notes on Constructive Mathematics. Almqvist et Wiksell
– Martin-Lof
- 1970
|
|
1
|
Ordinateurs en quete d'arithm'etique
– Muller
- 1995
|
|
