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

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

DCVALID
 Referenced in 15 articles
[sw20416]
 finite state automaton A(D) precisely accepting the finite state sequences satisfying D. The automaton...

NumExp
 Referenced in 6 articles
[sw16825]
 evaluated numerically by using the multiprecision finite difference method. This elaborate expansion method works...

FELSOS
 Referenced in 24 articles
[sw18095]
 finite elements permits to localize the interface precisely, without introducing any artificial parameters like...

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

betareg
 Referenced in 46 articles
[sw15449]
 maximum likelihood regression (for both mean and precision of a betadistributed response), biascorrected ... biasreduced estimation as well as finite mixture models and recursive partitioning for beta regressions...

IntervalArithmetic.jl
 Referenced in 3 articles
[sw29043]
 Julia, i.e. rigorous computations with finiteprecision floatingpoint arithmetic. All calculations are carried...

SPECTRODE
 Referenced in 11 articles
[sw13984]
 high precision; we prove this for finite discrete distributions. In computational experiments SPECTRODE outperforms existing...

pyHybrid Analysis
 Referenced in 2 articles
[sw10940]
 continuous domain, a class of finite precision semantics, named [epsilon]semantics, has been proposed...

Givaro
 Referenced in 7 articles
[sw00354]
 Extensions Fields, Finite Fields, Finite Rings, Polynomials, Algebraic numbers, Arbitrary precision integers and rationals...

RangeLab
 Referenced in 1 article
[sw38042]
 Analyzer to Bound the Accuracy of FinitePrecision Computations. This article introduces Range...

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

ValidatedNumerics.jl
 Referenced in 1 article
[sw38173]
 Julia, i.e. rigorous computations with finiteprecision floatingpoint arithmetic, using interval arithmetic: quantities...

Daisy
 Referenced in 1 article
[sw40595]
 techniques for analysis and optimization of finiteprecision computations have recently garnered significant interest. Most...

AFEM@matlab
 Referenced in 36 articles
[sw07764]
 matlab is a MATLAB package of adaptive finite element methods (AFEMs) for stationary and evolution ... useful for education, communication, and research. More precisely, it will (1) speed up program development...

PURRS
 Referenced in 9 articles
[sw05465]
 more precise, the PURRS will solve: (a) linear constant coefficient recurrence relations of finite order...

Igatools
 Referenced in 19 articles
[sw12632]
 scientific areas and applications. We provide a precise framework for a lot of loose, available ... similarities and differences between this and the finite element method. We also describe...

Aerosol
 Referenced in 2 articles
[sw13970]
 team Bacchus is focused on continuous finite elements methods, while the team Cagire is focused ... code we can. More precisely, classes concerning IO, finite elements, quadrature, geometry, time iteration, linear...

Optim
 Referenced in 17 articles
[sw29999]
 numbers, and input types such as arbitrary precision vectors and matrices. We have implemented routines ... they are calculated using automatic differentiation or finite difference methods. The main focus...