libm: more links (eg worst cases)
authornsz <nsz@port70.net>
Mon, 23 Jan 2012 03:29:59 +0000 (04:29 +0100)
committernsz <nsz@port70.net>
Mon, 23 Jan 2012 03:29:59 +0000 (04:29 +0100)
libm.txt

index da7dda9..6c4df9e 100644 (file)
--- a/libm.txt
+++ b/libm.txt
@@ -57,9 +57,11 @@ http://www.vinc17.org/research/fptest.en.html
 tests in crlibm
 
 multiprecision libs (useful for tests)
-http://code.google.com/p/fastfunlib/
 http://mpfr.org/
+http://www.multiprecision.org/index.php?prog=mpc
 http://pari.math.u-bordeaux.fr/
+http://www.apfloat.org/apfloat/
+http://code.google.com/p/fastfunlib/
 scs_lib in crlibm
 
 
@@ -68,7 +70,13 @@ other
 
 ieee standard: http://754r.ucbtest.org/
 extended precision issues: http://www.vinc17.org/research/extended.en.html
+correctly rounded mult: http://perso.ens-lyon.fr/jean-michel.muller/MultConstant.html
+table based sincos: http://perso.ens-lyon.fr/damien.stehle/IMPROVEDGAL.html
+finding worst cases: http://perso.ens-lyon.fr/damien.stehle/WCLR.html
+finding worst cases: http://perso.ens-lyon.fr/damien.stehle/DECIMALEXP.html
+finding worst cases: http://www.loria.fr/equipes/spaces/slz.en.html
+finding worst cases: http://perso.ens-lyon.fr/jean-michel.muller/Intro-to-TMD.htm
 fast conversion to fixedpoint: http://stereopsis.com/sree/fpu2006.html
+double-double, quad-double arithmetics: http://crd-legacy.lbl.gov/~dhbailey/mpdist/
 papers by kahan: http://www.cs.berkeley.edu/~wkahan/
 fp paper by goldberg: http://download.oracle.com/docs/cd/E19957-01/806-3568/ncg_goldberg.html
-