
CAPD
 Referenced in 52 articles
[sw07620]
 flexible C++ modules designed for rigorous numerics in dynamical systems. The CAPD library...

RedHom
 Referenced in 12 articles
[sw08776]
 programs. RedHom originated from research in rigorous numerics of dynamical systems based on topological methods...

galepu
 Referenced in 10 articles
[sw15103]
 this paper, we introduce a constructive rigorous numerical method to compute smooth manifolds implicitly defined...

sapa
 Referenced in 73 articles
[sw11944]
 index. The software used to produce the numerical examples has been made available ... literature as an intermediate text between more rigorous mathematicallyoriented texts and practicallyoriented engineering...

VNODE
 Referenced in 19 articles
[sw11946]
 VNODE, Validated Numerical ODE, is a C++ package for computing rigorous bounds on the solution...

INTOPT_90
 Referenced in 304 articles
[sw04705]
 book as indicated by the term “rigorous” in the title. That means that for each ... pages) features a rather practical and numerical approach in a branch and bound pattern touching...

Chaste
 Referenced in 42 articles
[sw00122]
 been subject to a far more rigorous testing procedure than that is usual in this ... incorporated into Chaste. Whiteley has developed a numerical algorithm for solving the bidomain equations that...

SLICOT
 Referenced in 79 articles
[sw01095]
 error or warning indicator; 3. numerical stability and accuracy: the results are as good ... standardisation: the library is based on rigorous programming and documentation standards; 7. benchmarking...

CkAnalytic
 Referenced in 6 articles
[sw19313]
 used to obtain mathematically rigorous error bounds on numerical approximations of solutions of differential equations...

DODGSON
 Referenced in 13 articles
[sw12653]
 provide numereous explicit evaluations of determinants. They were all conjectured, and then rigorously proved...

SAGE Interacts
 Referenced in 2 articles
[sw19392]
 accessible without delving into the mathematical rigor of numerical methods. The author illustrates the benefits...

Eldarica
 Referenced in 2 articles
[sw09748]
 verification toolkit for numerical transition systems. This paper presents a publicly available toolkit ... benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed ... infrastructure is a starting point for rigorous benchmarking, competitions, and standardized communication between tools...

IntervalArithmetic.jl
 Referenced in 2 articles
[sw29043]
 IntervalArithmetic.jl: Rigorous oatingpoint calculations using interval arithmetic in Julia. IntervalArithmetic.jl ... Julia package for performing Validated Numerics in Julia, i.e. rigorous computations with finiteprecision floating...

na10
 Referenced in 45 articles
[sw11511]
 Numerical computation of polynomial zeros by means of Aberth’s method. n algorithm for computing ... suitable stop condition, based on a rigorous backward rounding error analysis, guarantees that the computed ... presented together with the results of the numerical tests performed...

MISim
 Referenced in 1 article
[sw17108]
 dynamics of the various motifs and their numerical analysis provides a greater understanding ... with MATLAB to allow a rigorous and rapid numerical analysis of several common ecological motifs...

Algorithm 838
 Referenced in 13 articles
[sw04464]
 negative real axis. The computational methods are numerical integration of the differential equation and summation ... adaptable to any precision, and amenable to rigorous error analysis. The module can be used...

iHDG
 Referenced in 4 articles
[sw30285]
 numerical flux, does not depend on the ordering of unknowns. We rigorously show the convergence ... Extensive steady and timedependent numerical results for the 2D and 3D transport equations...

MMM2D
 Referenced in 4 articles
[sw18357]
 evaluated. Rigorous error bounds for the energies and the forces are derived and numerically verified...

JOREK
 Referenced in 6 articles
[sw13477]
 Energy conservation and numerical stability for the reduced MHD models of the nonlinear JOREK ... code. In this paper we present a rigorous derivation of the reduced MHD models with ... more robust especially with respect to numerical errors in the saturation phase of an instability...

iRNAPseColl
 Referenced in 30 articles
[sw24441]
 modifications, which are essential for numerous biological processes. Knowledge about the occurrence sites ... density distribution of its constituent nucleotides. Rigorous crossvalidations have indicated that the anticipated success...