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 29 articles )

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

1 2 next

  1. Brauße, Franz; Korovina, Margarita; Müller, Norbert: Using Taylor models in exact real arithmetic (2016)
  2. Brauße, Franz; Korovina, Margarita; Müller, Norbert Th.: Towards using exact real arithmetic for initial value problems (2016)
  3. Hertling, Peter; Spandl, Christoph: Computing a solution of Feigenbaum’s functional equation in polynomial time (2014)
  4. Sugiyama, Mahito; Hirowatari, Eiju; Tsuiki, Hideki; Yamamoto, Akihiro: Learning figures with the Hausdorff metric by fractals -- towards computable binary classification (2013)
  5. Lester, David R.: The world\rqs shortest correct exact real arithmetic program? (2012)
  6. Spandl, Christoph: Computational complexity of iterated maps on the interval (2012)
  7. Berger, Ulrich: From coinductive proofs to exact real arithmetic: theory and applications (2011)
  8. Blass, Andreas; Dershowitz, Nachum; Gurevich, Yuri: Exact exploration and hanging algorithms (2010)
  9. 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)
  10. Bauer, Andrej; Kavkler, Iztok: A constructive theory of continuous domains suitable for implementation (2009)
  11. Bauer, Andrej; Taylor, Paul: The Dedekind reals in abstract Stone duality (2009)
  12. Farjudian, Amin; Konečný, Michal: Time complexity and convergence analysis of domain theoretic Picard method (2008)
  13. Bauer, Andrej; Stone, Christopher A.: RZ: A tool for bringing constructive and computable mathematics closer to programming practice (2007)
  14. Gawronski, W.; Müller, J.; Reinhard, M.: Reduced cancellation in the evaluation of entire functions and applications to the error function (2007)
  15. Lambov, Branimir: RealLib: an efficient implementation of exact real arithmetic (2007)
  16. Marcial-Romero, J.Raymundo; Escardó, Martín H.: Semantics of a sequential language for exact real-number computation (2007)
  17. Blanck, J.: Exact real arithmetic using centred intervals and bounded error terms (2006)
  18. Briggs, Keith: Implementing exact real arithmetic in python, C++ and C (2006)
  19. van der Hoeven, Joris: Effective real numbers in Mmxlib (2006)
  20. van der Hoeven, Joris: Computations with effective real numbers (2006)

1 2 next