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 http://www.netlib.org/fp/ucbtest.tgz
  48 http://www.jhauser.us/arithmetic/TestFloat.html
  49 http://cant.ua.ac.be/old/ieeecc754.html
  50 http://www.loria.fr/~zimmerma/mpcheck/
  51 http://gforge.inria.fr/projects/mpcheck/
  52 http://people.inf.ethz.ch/gonnet/FPAccuracy/Analysis.html
  53 http://www.vinc17.org/research/testlibm/index.en.html
  54 http://www.vinc17.org/research/fptest.en.html
  55 tests in crlibm
  56
  57 multiprecision libs (useful for tests)
  58 http://code.google.com/p/fastfunlib/
  59 http://mpfr.org/
  60 http://pari.math.u-bordeaux.fr/
  61 scs_lib in crlibm
  62
  63
  64 other
  65 -----
  66
  67 ieee standard: http://754r.ucbtest.org/
  68 extended precision issues: http://www.vinc17.org/research/extended.en.html
  69 fast conversion to fixedpoint: http://stereopsis.com/sree/fpu2006.html
  70 papers by kahan: http://www.cs.berkeley.edu/~wkahan/
  71 fp paper by goldberg: http://download.oracle.com/docs/cd/E19957-01/806-3568/ncg_goldberg.html
  72