• FEMVib

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

  • Referenced in 5 articles [sw14477]
  • database of rigorous and high-precision periodic orbits of the Lorenz model. A benchmark database ... very high-precision 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 basin-level 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 a-posteriori 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 ... floating-point 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 well-known 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...
  • ADOL-C

  • Referenced in 220 articles [sw00019]
  • ADOL-C: 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...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 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...