
INTLAB
 Referenced in 416 articles
[sw04004]
 nonlinear equations) Hessians (for global optimization) Taylor series for univariate functions automatic slopes (sequential approach ... inclusions) accurate summation, dot product and matrixvector residuals (interpreted, reference implementation, slow) multiple precision...

Maxima
 Referenced in 149 articles
[sw00560]
 numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear ... equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high precision numeric results...

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

ANSYS
 Referenced in 654 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

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

BiCG
 Referenced in 34 articles
[sw00076]
 BiCG: An effective solver for three fields...

CoCoA
 Referenced in 617 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

Expokit
 Referenced in 173 articles
[sw00258]
 Expokit provides a set of routines aimed at...

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

Gerris
 Referenced in 248 articles
[sw00341]
 Gerris is a Free Software program for the...

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

Gmsh
 Referenced in 556 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

INTBIS
 Referenced in 31 articles
[sw00442]
 Algorithm 681: INTBIS, a portable interval Newton/bisection package...

ITPACK
 Referenced in 47 articles
[sw00459]
 The ITPACK project: Past, present, and future The...

ITSM
 Referenced in 16 articles
[sw00461]
 ITSM (Interactive Time Series Modelling) 6.0 is an...

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

Macaulay2
 Referenced in 1623 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2808 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...