
SAM
 Referenced in 2 articles
[sw04882]
 Stochastic arithmetic in multiprecision Floatingpoint arithmetic precision is limited in length the IEEE single ... estimates roundoff error propagation using stochastic arithmetic. CADNA has enabled the numerical validation ... present a library called SAM (stochastic arithmetic in multiprecision). It is a multiprecision extension ... arithmetic and relational operators are overloaded in order to be able to deal with stochastic...

DifferentialEquations.jl
 Referenced in 59 articles
[sw23910]
 equations, hybrid differential equations, jump diffusions, and (stochastic) partial differential equations. Through extensive ... defined number systems for highprecision and arithmetic with physical units, builtin multithreading...

Tulip.jl
 Referenced in 1 article
[sw40848]
 algebra implementations and from a model’s arithmetic. In particular, this allows to seamlessly integrate ... power systems operation and twostage stochastic programming, thereby outperforming stateoftheart commercial ... ability to use different levels of arithmetic precision by solving problems in extended precision...

Quantum trajectory
 Referenced in 1 article
[sw36103]
 unraveling the density operator evolution into individual stochastic trajectories in Hilbert space. This C++ class ... used to build operators and to perform arithmetic operations on operators and states. States...

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

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

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

CADNA
 Referenced in 47 articles
[sw00098]
 CADNA: a library for estimating roundoff error...

cdd
 Referenced in 119 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CGAL
 Referenced in 403 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

CSDP
 Referenced in 206 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

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

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

Dafny
 Referenced in 74 articles
[sw00183]
 Dafny is an imperative objectbased language with...

GAP
 Referenced in 3222 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 120 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

gfun
 Referenced in 144 articles
[sw00344]
 The gfun package provides tools for determining and...