
PASCALXSC
 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 selfvalidating 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 3manifolds ... Pari’s high precision arithmetic and number theoretic functions to compute invariant trace fields ... manifold invariants. See the paper, Computing arithmetic invariants of 3manifolds 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...

PascalSC
 Referenced in 30 articles
[sw30417]
 PascalSC. A computer language for scientific computation. PascalSC 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), highprecision 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 differencedifferential...

FOCI
 Referenced in 61 articles
[sw12868]
 uninterpreted functions, linear arithmetic, and arrays. Most importantly, it can compute quantifierfree Craig interpolants...

MPFR
 Referenced in 226 articles
[sw03312]
 library for multipleprecision floatingpoint computation which is both efficient and has a well ... ANSI/IEEE754 standard for doubleprecision floatingpoint arithmetic (53bit 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 computerchecked 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 fixedprecision interval arithmetic, on a specific problem, is presented. It shows ... algorithm combining symbolic and numerical computations) and approximation of real roots with arbitrary accuracy...

ClenshawCurtis
 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 lowprecision 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...