Investigate correctly rounded math libraries

XMLWordPrintable

    • Type: Enhancement
    • Resolution: Unresolved
    • Priority: P4
    • None
    • Affects Version/s: 23
    • Component/s: core-libs

      Possible starting points:

      CORE-MATH: https://core-math.gitlabpages.inria.fr/

       LLVM’s Libc https://libc.llvm.org/math/

       RLIBM project https://people.cs.rutgers.edu/~sn349/rlibm/

      See also https://www.mpfr.org/, which links to a project with Java bindings.

            Assignee:
            Anton Artemov
            Reporter:
            Joe Darcy
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: