• CakeML

  • Referenced in 46 articles [sw08799]
  • incremental and dynamic compilation, garbage collection, arbitrary-precision arithmetic, and compiler bootstrapping.Our contributions are twofold...
  • mpmath

  • Referenced in 40 articles [sw05802]
  • pure-Python library for arbitrary-precision floating-point arithmetic. It implements the standard functions from ... utilities for arbitrary-precision numerical differentiation, integration, root-finding, and interval arithmetic. It supports unlimited...
  • Arb

  • Referenced in 44 articles [sw07822]
  • library for arbitrary-precision floating-point ball arithmetic, developed by Fredrik Johansson (fredrik.johansson@gmail.com). It supports...
  • INTPAK

  • Referenced in 9 articles [sw09276]
  • Maple. We describe an experimental arbitrary-precision interval arithmetic package written for the computer algebra...
  • BIGNUM

  • Referenced in 1 article [sw24211]
  • portable and efficient package for arbitrary-precision arithmetic. We describe a C package for arbitrary...
  • H2SOLV

  • Referenced in 1 article [sw22223]
  • H2SOLV are performed within the arbitrary-precision arithmetics, where the number of working digits...
  • doubledouble

  • Referenced in 6 articles [sw24984]
  • floating point arithmetic. This code does NOT use multiple-precision or arbitrary-precision methods, which...
  • pbc

  • Referenced in 0 articles [sw32051]
  • curves and pairings, element initialization, I/O, and arithmetic. These features can be used to quickly ... fast. Internally, it uses GMP for arbitrary-precision arithmetic. It also includes a wide variety...
  • decNumber

  • Referenced in 2 articles [sw19031]
  • IEEE 754 Standard for Floating Point Arithmetic. The library fully implements the specification, and hence ... Number), and subnormal values. Both arbitrary-precision and fixed-size representations are supported...
  • DecFP

  • Referenced in 1 article [sw33661]
  • IEEE 754-2008 Decimal Floating-Point Arithmetic specification ... packages such as Decimals.jl, which provide arbitrary-precision decimal types analogous to BigFloat: arbitrary precision...
  • FLINT

  • Referenced in 50 articles [sw00297]
  • Fast library for number theory: an introduction. We...
  • gmp

  • Referenced in 269 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Maple

  • Referenced in 5124 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5957 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12309 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 154 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • MPFI

  • Referenced in 40 articles [sw00597]
  • Motivations for an arbitrary precision interval arithmetic and...
  • PARI/GP

  • Referenced in 595 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • SageMath

  • Referenced in 1675 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...