xrc
xrc (exact reals in C) This is an implementation of lazy exact real arithmetic in C. It is an alternative to multiple-precision floating-point codes. An important distinction is that in multiple-precision floating-point, one sets the precision before starting a computation, and then one cannot be sure of the final result. Interval arithmetic is an improvement on this, but still not an ideal solution because if the final interval is larger than desired, there is no simple way to restart the computation at higher precision. By constrast, in exact real arithmetic no precision level is set in advance, and no computation takes place until a final request takes place for some output. I have previously developed similar codes in python and C++. This new C version is faster, more portable, and easier to use.
(Source: http://www.mpfr.org/)
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
Sorted by year (- Lambov, Branimir: RealLib: an efficient implementation of exact real arithmetic (2007)
- Briggs, Keith: Implementing exact real arithmetic in python, C++ and C (2006)
- Briggs, Keith: Abundant numbers and the Riemann hypothesis (2006)
- Lambov, Branimir: Complexity and intensionality in a type-1 framework for computable analysis (2005)
- Eppstein, David: Quasiconvex analysis of backtracking algorithms (2004)