libm: metalibm

[www] / libm.txt

diff --git a/libm.txt b/libm.txt
index 790dca7..b1bd951 100644 (file)
--- a/libm.txt
+++ b/libm.txt
@@ -1,15 +1,5 @@
-other
------
-
-http://754r.ucbtest.org/
-http://www.vinc17.org/research/extended.en.html
-http://stereopsis.com/sree/fpu2006.html
-http://www.cs.berkeley.edu/~wkahan/
-http://download.oracle.com/docs/cd/E19957-01/806-3568/ncg_goldberg.html
-
-
-libm
-----
+libm implementations
+--------------------
 
 unix v7 libm by Robert Morris (rhm) around 1979
 see: "Computer Approximations" by Hart & Cheney, 1968
@@ -22,9 +12,9 @@ see: "Methods and Programs for Mathematical Functions" by Moshier 1989
 fdlibm by K. C. Ng around 1993, updated in 1995?
 (1993: copyright notice: "Developed at SunPro ..")
 (1995: copyright notice: "Developed at SunSoft ..")
-see: "Artument Reduction for Huge Arguments: Good to the Last Bit" by Ng 1992
+see: "Argument Reduction for Huge Arguments: Good to the Last Bit" by Ng 1992
 http://www.netlib.org/fdlibm
-used in: 1993: netbsd, openbsd, 1995: freebsd, bionic, musl
+used in: netbsd, openbsd, freebsd, bionic, musl
 
 libultim by Abraham Ziv around 2001 (gpl)
 (also known as the ibm accurate portable math lib)
@@ -54,22 +44,41 @@ see: "Handbook of Floating-Point Arithmetic" by (many authors from Lyon) 2009
 
 libm tests
 ----------
+
 http://www.netlib.org/fp/ucbtest.tgz
 http://www.jhauser.us/arithmetic/TestFloat.html
 http://cant.ua.ac.be/old/ieeecc754.html
 http://www.loria.fr/~zimmerma/mpcheck/
 http://gforge.inria.fr/projects/mpcheck/
 http://people.inf.ethz.ch/gonnet/FPAccuracy/Analysis.html
+http://www.math.utah.edu/~beebe/software/ieee/
 http://www.vinc17.org/research/testlibm/index.en.html
 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
 
 
+other
+-----
 
-by nsz 2012-01-22
+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
+generating libm functions: http://lipforge.ens-lyon.fr/www/metalibm/
+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
+math functions in general: http://dlmf.nist.gov/