RealLib

RealLib: an efficient implementation of exact real arithmetic 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.


References in zbMATH (referenced in 14 articles , 1 standard article )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Kawabata, Hideyuki; Iwasaki, Hideya: Improving floating-point numbers: a lazy approach to adaptive accuracy refinement for numerical computations (2016)
  2. Berger, Ulrich: From coinductive proofs to exact real arithmetic: theory and applications (2011)
  3. Farjudian, Amin: On the Kolmogorov complexity of continuous real functions (2011)
  4. Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri: Exact exploration and hanging algorithms (2010)
  5. Bauer, Andrej; Kavkler, Iztok: A constructive theory of continuous domains suitable for implementation (2009)
  6. Bauer, Andrej; Stone, Christopher A.: RZ: a tool for bringing constructive and computable mathematics closer to programming practice (2009)
  7. Bauer, Andrej; Taylor, Paul: The Dedekind reals in abstract Stone duality (2009)
  8. Bauer, Andrej; Kavkler, Iztok: Implementing real numbers with RZ (2008)
  9. Farjudian, Amin; Konečný, Michal: Time complexity and convergence analysis of domain theoretic Picard method (2008)
  10. Lambov, Branimir: Interval arithmetic using SSE-2 (2008)
  11. Bauer, Andrej; Stone, Christopher A.: RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)
  12. Bertot, Yves: Affine functions and series with co-inductive real numbers (2007)
  13. Lambov, Branimir: RealLib: an efficient implementation of exact real arithmetic (2007)
  14. van der Hoeven, Joris: Effective real numbers in Mmxlib (2006)