iRRAM

The iRRAM: Exact Arithmetic in C++. The iRRAM is a very efficient C++ package for error-free 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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 38 articles )

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

1 2 next

  1. Moniri, Mojtaba; Moniri, Saman: Limit cycles and their period detection via numeric and symbolic hybrid computations (2020)
  2. Neumann, Eike; Steinberg, Florian: Parametrised second-order complexity theory with applications to the study of interval computation (2020)
  3. Rösnick-Neugebauer, Carsten: Closed sets and operators thereon: representations, computability and complexity (2018)
  4. Brauße, Franz; Korovina, Margarita; Müller, Norbert: Using Taylor models in exact real arithmetic (2016)
  5. Brauße, Franz; Korovina, Margarita; Müller, Norbert Th.: Towards using exact real arithmetic for initial value problems (2016)
  6. Kawabata, Hideyuki; Iwasaki, Hideya: Improving floating-point numbers: a lazy approach to adaptive accuracy refinement for numerical computations (2016)
  7. Duracz, Jan; Farjudian, Amin; Konečný, Michal; Taha, Walid: Function interval arithmetic (2014)
  8. Hertling, Peter; Spandl, Christoph: Computing a solution of Feigenbaum’s functional equation in polynomial time (2014)
  9. Müller, Norbert; Ziegler, Martin: From calculus to algorithms without errors (2014)
  10. Sugiyama, Mahito; Hirowatari, Eiju; Tsuiki, Hideki; Yamamoto, Akihiro: Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (2013)
  11. Lester, David R.: The world’s shortest correct exact real arithmetic program? (2012)
  12. Spandl, Christoph: Computational complexity of iterated maps on the interval (2012)
  13. Berger, Ulrich: From coinductive proofs to exact real arithmetic: theory and applications (2011)
  14. Farjudian, Amin: On the Kolmogorov complexity of continuous real functions (2011)
  15. Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri: Exact exploration and hanging algorithms (2010)
  16. Yu, Jihun; Yap, Chee; Du, Zilin; Pion, Sylvain; Brönnimann, Hervé: The design of Core 2: a library for exact numeric computation in geometry and algebra (2010)
  17. Bauer, Andrej; Kavkler, Iztok: A constructive theory of continuous domains suitable for implementation (2009)
  18. Bauer, Andrej; Taylor, Paul: The Dedekind reals in abstract Stone duality (2009)
  19. Bauer, Andrej; Kavkler, Iztok: Implementing real numbers with RZ (2008)
  20. Farjudian, Amin; Konečný, Michal: Time complexity and convergence analysis of domain theoretic Picard method (2008)

1 2 next