RealLib: An efficient implementation of exact real arithmetic
From MaRDI portal
Recommendations
Cited in
(23)- Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors
- SHRAD: A language for sequential real number computation
- Semantics, specification logic, and Hoare logic of exact real computation
- scientific article; zbMATH DE number 1979264 (Why is no real title available?)
- scientific article; zbMATH DE number 1746032 (Why is no real title available?)
- scientific article; zbMATH DE number 1746052 (Why is no real title available?)
- Efficient Exact Arithmetic over Constructive Reals
- Effective real numbers in Mmxlib
- A constructive theory of continuous domains suitable for implementation
- The world's shortest correct exact real arithmetic program?
- Using Taylor models in exact real arithmetic
- On the Kolmogorov complexity of continuous real functions
- scientific article; zbMATH DE number 1746043 (Why is no real title available?)
- Interval Arithmetic Using SSE-2
- Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations
- RealLib
- Implementing real numbers with RZ
- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method
- Computer Science for Continuous Data
- The constructive reals as a Java library
- The Dedekind reals in abstract Stone duality
- A lazy approach to adaptive exact real arithmetic using floating-point operations
- Implementing exact real arithmetic in python, C++ and C
This page was built for publication: RealLib: An efficient implementation of exact real arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3431545)