
FEMVib
 Referenced in 1 article
[sw09266]
 take advantage of existing numerical libraries. FEMVib has been rigorously tested to resolve the eigenvalues...

LorenzDatabase
 Referenced in 5 articles
[sw14477]
 database of rigorous and highprecision periodic orbits of the Lorenz model. A benchmark database ... very highprecision numerical and validated initial conditions of periodic orbits for the Lorenz model...

MMM1D
 Referenced in 2 articles
[sw18358]
 method. Rigorous error bounds for the energies and the forces are derived and numerically verified...

FHI
 Referenced in 1 article
[sw33018]
 rigorous way for basinlevel freshwater management to maintain continuity and reproducibility amid numerous indicators...

LBMpy
 Referenced in 3 articles
[sw12975]
 choices and isotropy properties. We investigate the numerous possible parameter choices for linear lattice Boltzmann ... equilibrium states and relaxation times) yield a rigorous methodology that should be followed ... include numerical illustrations for the D 2 Q 9 scheme obtained with the code LBMpy...

UnstableManifoldCompactMap
 Referenced in 1 article
[sw22780]
 posteriori error bounds for the approximations. Numerical implementation of the aposteriori theory, combined with ... errors (or interval arithmetic), leads to mathematically rigorous computer assisted theorems describing precisely the truncation...

LIGKA
 Referenced in 3 articles
[sw02605]
 radial direction. Both analytical and numerical equilibria can be treated. Integration over the unperturbed particle ... width effects to be implemented in a rigorous way since the linear formulation...

CAMPARY
 Referenced in 3 articles
[sw15156]
 Applications. Many scientific computing applications demand massive numerical computations on parallel architectures such as Graphics ... floatingpoint operations, while also allowing for rigorously proven rounding error bounds. This allows...

Casyopee
 Referenced in 2 articles
[sw12437]
 secondary school level. It aims at making numeric, graphic and formal exploration of mathematical functions ... power means neither complexity nor lack of rigor : choices of representation are in line with...

TomoPhantom
 Referenced in 1 article
[sw32603]
 reconstruction techniques are routinely tested using simplistic numerical phantoms, e.g. the wellknown Shepp–Logan ... scanning geometries, can be rigorously analyzed using the software. TomoPhantom also provides a capability...

TESS
 Referenced in 0 articles
[sw18956]
 change episodically through time—and implement numerical methods to estimate parameters of these models from ... models to a given tree, thereby providing rigorous tests of biological hypotheses regarding patterns...

ACETAF
 Referenced in 7 articles
[sw00014]
 ACETAF: A software package for computing validated bounds...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 220 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

BARON
 Referenced in 304 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Coq
 Referenced in 1748 articles
[sw00161]
 Coq is a formal proof management system. It...

CoStLy
 Referenced in 7 articles
[sw00163]
 The C++ class library CoStLy for the rigorous...

CXSC
 Referenced in 106 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 2.0
 Referenced in 122 articles
[sw00182]
 A C++ class library for extended scientific computing...

DEA
 Referenced in 239 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...