Optimizing programs over the constructive reals
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Complexity theory of real functions
Complexity theory of real functions
Precise computation using range arithmetic, via C++
ACM Transactions on Mathematical Software (TOMS)
A domain-theoretic approach to computability on the real line
Theoretical Computer Science - Special issue on real numbers and computers
Feasible real random access machines
Journal of Complexity
Computable analysis: an introduction
Computable analysis: an introduction
A precise numerical analysis program
Communications of the ACM
Precise Numerical Analysis with Disk
Precise Numerical Analysis with Disk
The iRRAM: Exact Arithmetic in C++
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Algorithms for Quad-Double Precision Floating Point Arithmetic
ARITH '01 Proceedings of the 15th IEEE Symposium on Computer Arithmetic
Implementing exact real arithmetic in python, C++ and C
Theoretical Computer Science - Real numbers and computers
Complexity and intensionality in a type-1 framework for computable analysis
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Implementing Real Numbers With RZ
Electronic Notes in Theoretical Computer Science (ENTCS)
(Short) Survey of Real Hypercomputation
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Interval Arithmetic Using SSE-2
Reliable Implementation of Real Number Algorithms: Theory and Practice
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
The dedekind reals in abstract stone duality
Mathematical Structures in Computer Science
On the Kolmogorov complexity of continuous real functions
CiE'11 Proceedings of the 7th conference on Models of computation in context: computability in Europe
Some steps into verification of exact real arithmetic
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Hi-index | 0.00 |
This paper is an introduction to the RealLib package for exact real number computations. The library provides certified accuracy, but tries to achieve this at performance close to the performance of hardware floating point for problems that do not require higher precision. The paper gives the motivation and features of the design of the library and compares it with other packages for exact real arithmetic.