nsz Git - www/blob - libm.txt

   1 libm implementations
   2 --------------------
   3
   4 unix v7 libm by Robert Morris (rhm) around 1979
   5 see: "Computer Approximations" by Hart & Cheney, 1968
   6 used in: plan9, go
   7
   8 cephes by Stephen L. Moshier, 1984-1992
   9 http://www.netlib.org/cephes/
  10 see: "Methods and Programs for Mathematical Functions" by Moshier 1989
  11
  12 fdlibm by K. C. Ng around 1993, updated in 1995?
  13 (1993: copyright notice: "Developed at SunPro ..")
  14 (1995: copyright notice: "Developed at SunSoft ..")
  15 see: "Artument Reduction for Huge Arguments: Good to the Last Bit" by Ng 1992
  16 http://www.netlib.org/fdlibm
  17 used in: 1993: netbsd, openbsd, 1995: freebsd, bionic, musl
  18
  19 libultim by Abraham Ziv around 2001 (gpl)
  20 (also known as the ibm accurate portable math lib)
  21 see: "Fast evaluation of elementary mathematical functions with correctly rounded last bit" by Ziv 1991
  22 http://web.archive.org/web/20050207110205/http://oss.software.ibm.com/mathlib/
  23 used in: glibc
  24
  25 libmcr by K. C. Ng, 2004
  26 (sun's correctly rounded libm)
  27
  28 mathcw by Nelson H. F. Beebe, 2010?
  29 http://ftp.math.utah.edu/pub/mathcw/
  30 (no sources available?)
  31
  32 sleef by Naoki Shibata, 2010
  33 (simd lib for evaluating elementary functions)
  34 http://shibatch.sourceforge.net/
  35
  36 crlibm by ens-lyon, 2004-2010
  37 http://lipforge.ens-lyon.fr/www/crlibm/
  38 see: crlibm.pdf at http://lipforge.ens-lyon.fr/frs/?group_id=8&release_id=123
  39 see: "Elementary Functions" by Jean-Michel Muller 2005
  40 see: "Handbook of Floating-Point Arithmetic" by (many authors from Lyon) 2009
  41
  42 (closed: intel libm, hp libm for itanium, ..)
  43
  44
  45 libm tests
  46 ----------
  47
  48 http://www.netlib.org/fp/ucbtest.tgz
  49 http://www.jhauser.us/arithmetic/TestFloat.html
  50 http://cant.ua.ac.be/old/ieeecc754.html
  51 http://www.loria.fr/~zimmerma/mpcheck/
  52 http://gforge.inria.fr/projects/mpcheck/
  53 http://people.inf.ethz.ch/gonnet/FPAccuracy/Analysis.html
  54 http://www.math.utah.edu/~beebe/software/ieee/
  55 http://www.vinc17.org/research/testlibm/index.en.html
  56 http://www.vinc17.org/research/fptest.en.html
  57 tests in crlibm
  58
  59 multiprecision libs (useful for tests)
  60 http://mpfr.org/
  61 http://www.multiprecision.org/index.php?prog=mpc
  62 http://pari.math.u-bordeaux.fr/
  63 http://www.apfloat.org/apfloat/
  64 http://code.google.com/p/fastfunlib/
  65 scs_lib in crlibm
  66
  67
  68 other
  69 -----
  70
  71 ieee standard: http://754r.ucbtest.org/
  72 extended precision issues: http://www.vinc17.org/research/extended.en.html
  73 correctly rounded mult: http://perso.ens-lyon.fr/jean-michel.muller/MultConstant.html
  74 table based sincos: http://perso.ens-lyon.fr/damien.stehle/IMPROVEDGAL.html
  75 finding worst cases: http://perso.ens-lyon.fr/damien.stehle/WCLR.html
  76 finding worst cases: http://perso.ens-lyon.fr/damien.stehle/DECIMALEXP.html
  77 finding worst cases: http://www.loria.fr/equipes/spaces/slz.en.html
  78 finding worst cases: http://perso.ens-lyon.fr/jean-michel.muller/Intro-to-TMD.htm
  79 fast conversion to fixedpoint: http://stereopsis.com/sree/fpu2006.html
  80 double-double, quad-double arithmetics: http://crd-legacy.lbl.gov/~dhbailey/mpdist/
  81 papers by kahan: http://www.cs.berkeley.edu/~wkahan/
  82 fp paper by goldberg: http://download.oracle.com/docs/cd/E19957-01/806-3568/ncg_goldberg.html