Abstract. Abstract: The iRRAM is a very efficient C++ package for errorfree real arithmetic based on the concept of a Real-RAM. Its capabilities range from ordinary arithmetic over trigonometric functions to linear algebra even with sparse matrices. We discuss the concepts and some highlights of the implementation.
|
303
|
On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines
– Blum, Shub, et al.
- 1989
|
|
148
|
A foundation for computable analysis
– Weihrauch
- 1997
|
|
124
|
Complexity Theory of Real Functions
– Ko
- 1991
|
|
44
|
Exact real arithmetic: Formulating real numbers as functions
– Boehm, Cartwright
- 1990
|
|
39
|
A new representation for exact real numbers
– Edalat, Potts
- 1997
|
|
28
|
On the minimum computation time of functions
– Cook
- 1966
|
|
21
|
Computability, volume 9
– Weihrauch
- 1987
|
|
11
|
Computation by ‘while’ programs on topological partial algebras
– Tucker, Zucker
- 1999
|
|
10
|
Fast multiple precision evaluation of elementary functions
– Brent
- 1976
|
|
9
|
Recursive characterisation of computable real-valued functions and relations
– BRATTKA
- 1996
|
|
8
|
The computation of to 29,360,000 decimal digits using Borweins' quartically convergent algorithm
– Bailey
- 1988
|
|
6
|
et al., C-XSC: A C++ Class Library for Extended Scientific Computing
– Klatte
- 1993
|
|
4
|
A Fortran multiple precision package
– Brent
- 1978
|
|
3
|
MPFR: A Library for Multiprecision Floating-Point Arithmetic with Exact
– Zimmermann
|
|
2
|
and the AGM, A study in analythic number theory
– Borwein, Pi
- 1987
|
|
2
|
The complexity of multiple precision arithmetic
– Brent
- 1975
|
|
2
|
Recursive and Computable Operations over Topological
– Brattka
|
|
2
|
The Correctness of an Implementation of Exact Arithmetic
– Gowland, Lester
|
|
2
|
et al., The Inverse of the Star-Discrepancy depends linearly on the Dimension, Acta Arithmetica
– Heinrich
|
|
2
|
Untersuchungen zur Komplexitt reeller Funktionen, Dissertation (FernUniversit t
– Mller
- 1988
|
|
2
|
Polynomial Time Computation of Taylor Series
– Mller
- 1993
|
|
1
|
und Stockmeyer, L.J. Fast on-line integer multiplication
– Fischer
- 1974
|
|
1
|
Memorandum ber Computer, Arithmetik und Numerik (Universitt Karlsruhe, Institut fr angewandte Mathematik
– Kulisch
|
|
1
|
Arbitrary precision real arithmetic: design and algorithms
– Mnissier-Morain
- 1996
|
|
1
|
Towards a real Real RAM: a Prototype using C++, (preliminary version
– Mller
- 1996
|
|
1
|
Towards a real RealRAM: a Prototype using C
– Mller
- 1997
|
|
1
|
Implementing limits in an interactive RealRAM
– Mller
- 1998
|
|
1
|
A Note on how to compute Multi-Valued Functions draft, in preparationprinciples of IEEE 754 floating point arithmetic
– Mller
|
|
1
|
Numerik analytischer Funktionen und
– Schnhage
- 1990
|
