type: text
text: LOCOMAT
link: locomat.loria.fr
behavior: follow
type: text
text: INRIA
link: www.inria.fr
behavior: follow
type: text
text: Caramba
link: caramba.loria.fr
behavior: follow
type: text
text: Loria
link: www.loria.fr
behavior: follow
type: text
text: GMP
link: gmplib.org
behavior: follow
type: text
text: Boost
link: www.boost.org
behavior: follow
type: text
text: PARI/GP
link: pari.math.u-bordeaux.fr
behavior: follow
type: text
text: Racket
link: racket-lang.org
behavior: follow
type: text
text: ALGLIB.NET
link: www.alglib.net
behavior: follow
type: text
text: Arb
link: arblib.org
behavior: follow
type: text
text: Ariadne
link: www.ariadne-cps.org
behavior: follow
type: text
text: CGAL
link: www.cgal.org
behavior: follow
type: text
text: Eigen
link: eigen.tuxfamily.org
behavior: follow
type: text
text: FLINT
link: www.flintlib.org
behavior: follow
type: text
text: Gappa
link: gappa.gforge.inria.fr
behavior: follow
type: text
text: GCC
link: gcc.gnu.org
behavior: follow
type: text
text: Herbie
link: herbie.uwplse.org
behavior: follow
type: text
text: iRRAM - Exact Arithmetic in C++
link: irram.uni-trier.de
behavior: follow
type: text
text: Julia language
link: julialang.org
behavior: follow
type: text
text: MetaLibm
link: www.metalibm.org
behavior: follow
type: text
text: MPACK
link: mplapack.sourceforge.net
behavior: follow
type: text
text: Multiprecision Computing Toolbox for MATLAB
link: www.advanpix.com
behavior: follow
type: text
text: NARS2000
link: www.nars2000.org
behavior: follow
type: text
text: Sollya
link: sollya.gforge.inria.fr
behavior: follow
type: text
text: SXEmacs
link: www.sxemacs.org
behavior: follow
type: text
text: Wcalc calculator
link: w-calc.sourceforge.net
behavior: follow
type: text
text: mpmath
link: mpmath.org
behavior: follow
type: text
text: NIST Digital Library of Mathematical Functions
link: dlmf.nist.gov
behavior: follow
type: text
text: Computer Arithmetic & Numerical Techniques (CANT)
link: cant.ua.ac.be
behavior: follow
type: text
text: Fabrice Rouillier
link: fabrice.rouillier.fr
behavior: follow
type: text
text: ARAnyM
link: aranym.org
behavior: follow
type: text
text: FractalNow
link: fractalnow.sourceforge.net
behavior: follow
type: text
text: ledger
link: ledger-cli.org
behavior: follow
type: text
text: Mathemagix
link: www.mathemagix.org
behavior: follow
type: text
text: SAGE
link: sagemath.org
behavior: follow
type: text
text: ZKCM
link: zkcm.sourceforge.net
behavior: follow
type: text
text: Qalculate calculator
link: qalculate.sourceforge.net
behavior: follow