• PASCAL-XSC

  • Referenced in 103 articles [sw18863]
  • upon a properly defined and implemented computer arithmetic in the usual spaces of numerical computation...
  • INTLAB

  • Referenced in 464 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing and self-validating algorithms. It comprises ... univariate polynomial zeros (simple and clusters) interval arithmetic for real and complex data including vectors ... arithmetic for real and complex sparse matrices (very fast) automatic differentiation (forward mode, vectorized computations ... interpreted, reference implementation, slow) multiple precision interval arithmetic with error bounds (does the job, slow...
  • TRLan

  • Referenced in 68 articles [sw04029]
  • form convenient. Most of the arithmetic computations in the software are done through calls...
  • Snap

  • Referenced in 30 articles [sw20131]
  • Manifolds. Snap is a computer program for studying arithmetic invariants of hyperbolic 3-manifolds ... Pari’s high precision arithmetic and number theoretic functions to compute invariant trace fields ... manifold invariants. See the paper, Computing arithmetic invariants of 3-manifolds by Coulson, Goodman, Hodgson...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • interest to mathematicians, scientists and engineers. Computer algebra system (CAS). It has been produced ... symbolic matrices; arbitrary precision integer and real arithmetic; facilities for defining new functions and extending...
  • Pascal-SC

  • Referenced in 30 articles [sw30417]
  • Pascal-SC. A computer language for scientific computation. Pascal-SC is a programming language developed ... elements of this language are: arithmetic operations with controlled rounding, an optimal scalar product, functions ... basic fundamentals of the new computer arithmetic, and shows how the tools provided by Pascal...
  • gmp

  • Referenced in 282 articles [sw00363]
  • free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point ... research, Internet security applications, algebra systems, computational algebra research, etc. GMP is carefully designed ... achieved by using fullwords as the basic arithmetic type, by using fast algorithms, with highly...
  • homalg

  • Referenced in 30 articles [sw00411]
  • computer algebra software implementing the arithmetics of a computable ring R, as soon...
  • FIESTA

  • Referenced in 44 articles [sw16360]
  • complete parallelization (even to multiple computers), high-precision arithmetics (allowing to calculate integrals which were...
  • HolonomicFunctions

  • Referenced in 56 articles [sw06666]
  • been implemented in HolonomicFunctions: computations in Ore algebras (noncommutative polynomial arithmetic with mixed difference-differential...
  • FOCI

  • Referenced in 61 articles [sw12868]
  • uninterpreted functions, linear arithmetic, and arrays. Most importantly, it can compute quantifier-free Craig interpolants...
  • MPFR

  • Referenced in 226 articles [sw03312]
  • library for multiple-precision floating-point computation which is both efficient and has a well ... ANSI/IEEE-754 standard for double-precision floating-point arithmetic (53-bit significand). MPFR is free...
  • NQTHM

  • Referenced in 151 articles [sw07543]
  • same authors’ previous book entitled “A computational logic” (1979; Zbl 0448.68020). The truly important changes ... integration of a linear arithmetic decision procedure and the addition of a rather primitive facility ... proof procedures” [in “The correctness problem in computer science” (1981; Zbl 0476.68009)] and “The addition...
  • Coq/SSReflect

  • Referenced in 71 articles [sw09360]
  • style of proof that evolved from the computer-checked proof of the Four Colour Theorem ... Ssreflect library arithmetic comparison is not an abstract predicate, but a function computing a boolean...
  • MPFI

  • Referenced in 43 articles [sw00597]
  • arbitrary precision interval arithmetic is needed. To provide accurate results, interval computations require small input ... comparison with a fixed-precision interval arithmetic, on a specific problem, is presented. It shows ... algorithm combining symbolic and numerical computations) and approximation of real roots with arbitrary accuracy...
  • Clenshaw-Curtis

  • Referenced in 43 articles [sw07876]
  • requires the computation of a cosine transformation, and the arithmetic cost of this has been ... parts; a companion paper, “II Computing the Cosine Transformation,” shows that this objection...
  • GNMT

  • Referenced in 27 articles [sw26579]
  • Unfortunately, NMT systems are known to be computationally expensive both in training and in translation ... speed, we employ low-precision arithmetic during inference computations. To improve handling of rare words...
  • PBC Library

  • Referenced in 25 articles [sw09829]
  • elliptic curve generation, elliptic curve arithmetic and pairing computation. Thanks to the GMP library, despite...
  • FLINT

  • Referenced in 58 articles [sw00297]
  • support computations in number theory, including highly optimised routines for polynomial arithmetic and linear algebra...
  • PaCAL

  • Referenced in 7 articles [sw09496]
  • PaCAL: A Python Package for Arithmetic Computations with Random Variables. In this paper we present ... PaCAL, a Python package for arithmetical computations on random variables. The package is capable ... four arithmetic operations: addition, subtraction, multiplication and division, as well as computing many standard functions ... their results interpolated allowing for arbitrary arithmetic operations on random variables following practically any probability...