Guix

iRRAM is a 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 and differential equations. A program using iRRAM is coded in ordinary C++, but may use a special class that behaves like real numbers without any error. Additionally, iRRAM uses the concept of multi-valued functions.