RealLib swMATH ID: 1977 Software Authors: Lambov, Branimir Description: 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. Homepage: http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/l/Lambov:Branimir.html Keywords: numerical examples; finite arithmetic; RealLib package; exact real number computations; hardware floating point Related Software: iRRAM; RZ; OCaml; MPFR; gmp; Mmxlib; MPFI; Haskell; Boost; filib++; VNODE; xrc; PNM; LBNL; C-CoRN; HOL Light; SLEEF; Coq Cited in: 14 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year RealLib: an efficient implementation of exact real arithmetic. Zbl 1112.65137Lambov, Branimir 2007 all top 5 Cited by 14 Authors 5 Bauer, Andrej 2 Farjudian, Amin 2 Kavkler, Iztok 2 Lambov, Branimir 2 Stone, Christopher A. 1 Berger, Ulrich 1 Bertot, Yves 1 Blass, Andreas Raphael 1 Dershowitz, Nachum 1 Gurevich, Yuri 1 Iwasaki, Hideya 1 Kawabata, Hideyuki 1 Konečný, Michal 1 van der Hoeven, Joris Cited in 4 Serials 3 MSCS. Mathematical Structures in Computer Science 1 Annals of Pure and Applied Logic 1 Journal of Logic and Computation 1 Logical Methods in Computer Science all top 5 Cited in 6 Fields 8 Mathematical logic and foundations (03-XX) 8 Computer science (68-XX) 4 Numerical analysis (65-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Measure and integration (28-XX) 1 Ordinary differential equations (34-XX) Citations by Year