
Zinc
 Referenced in 26 articles
[sw08334]
 predicates and automatic coercion and provides arithmetic, finite domain and set constraints. Second, while Zinc...

mpFq
 Referenced in 19 articles
[sw09337]
 exchanges. We present a library for finite field arithmetic. The originality of this library lies ... code is automatically produced for the selected finite fields. The opportunity of compiletime optimizations...

SmartMobile
 Referenced in 15 articles
[sw10867]
 such software relies on (possibly erroneous) finite precision arithmetic and does not take into account...

FXT
 Referenced in 12 articles
[sw05348]
 implemented. Operations on binary polynomials and arithmetics in finite fields GF(2^n) are included...

Beaver
 Referenced in 10 articles
[sw00071]
 theory of quantifierfree finiteprecision bitvector arithmetic. It supports all operators defined under...

SLICE
 Referenced in 5 articles
[sw30997]
 when they are implemented in the finiteprecision arithmetic of digital computers. The rounding errors...

ore_algebra
 Referenced in 13 articles
[sw32569]
 instances include basic arithmetic and actions; GCRD and LCLM; Dfinite closure properties; natural transformations...

FaCiLe
 Referenced in 4 articles
[sw31028]
 facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly nonlinear...

CoxIter
 Referenced in 6 articles
[sw13972]
 cocompact or of finite covolume, whether it is arithmetic in the noncocompact case...

Fermat
 Referenced in 42 articles
[sw00277]
 Lewis of Fordham University, that does arithmetic of arbitrarily long integers and fractions, multivariate polynomials ... matrix algebra over the rationals Q and finite fields. On the Mac side, there...

Cogent
 Referenced in 14 articles
[sw01300]
 supports finite machinelevel variables, bit operations, structures, unions, references, pointers and pointer arithmetic. When...

cqttoolbox
 Referenced in 8 articles
[sw38890]
 toolbox: QuasiToeplitz matrix arithmetic: a MATLAB toolbox. The CQT toolbox provides a new MATLAB ... finitedimensional correction in the topleft corner. The arithmetic, plus many additional functions...

Caravel
 Referenced in 2 articles
[sw40099]
 level amplitudes in floating point or finitefield arithmetic, the numerical computation...

LMBOPT
 Referenced in 2 articles
[sw42606]
 adding various safeguards relevant when finite precision arithmetic is used, and adds many practical enhancements...

Givaro
 Referenced in 7 articles
[sw00354]
 basic arithmetic of many mathematical entities: Primes fields, Extensions Fields, Finite Fields, Finite Rings, Polynomials...

cc(FD)
 Referenced in 18 articles
[sw21237]
 declarative nondeterministic constraint logic language over finite domains based on the cc framework ... scheme [21]. Its constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated...

IntervalArithmetic.jl
 Referenced in 3 articles
[sw29043]
 IntervalArithmetic.jl: Rigorous oatingpoint calculations using interval arithmetic in Julia. IntervalArithmetic.jl is a Julia package ... Julia, i.e. rigorous computations with finiteprecision floatingpoint arithmetic. All calculations are carried...

MSSMOBILE
 Referenced in 1 article
[sw11704]
 such software relies on (possibly erroneous) finite precision arithmetic and does not take into account...

homalg
 Referenced in 30 articles
[sw00411]
 that of a functor between categories of finitely presented modules over socalled computable rings ... extend any computer algebra software implementing the arithmetics of a computable ring R, as soon...

Algorithm 722
 Referenced in 5 articles
[sw12580]
 IEEE standard for binary floatingpoint arithmetic. This paper describes C programs for the support ... scalb(x,n), nextafter(x,y), finite(x), and isnan(x) recommended in the Appendix ... IEEE Standard for Binary FloatingPoint Arithmetic. In the case of logb, the modified definition...