
DifferentialEquations.jl
 Referenced in 9 articles
[sw23910]
 equations (function maps, discrete stochastic (Gillespie/Markov) simulations), ordinary differential equations, stochastic differential equations, algebraic differential ... 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...

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

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

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

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

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

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

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

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

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

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

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

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

GLOPT
 Referenced in 19 articles
[sw00359]
 GLOPT is a Fortran 77 program for global...

gmp
 Referenced in 263 articles
[sw00363]
 GMP is a free library for arbitrary precision...

KNITRO
 Referenced in 173 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LANCELOT
 Referenced in 295 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1617 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 354 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...