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

CSDP
 Referenced in 202 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...

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

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

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

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

ISOGAT
 Referenced in 310 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

KANT/KASH
 Referenced in 156 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

KANTBP
 Referenced in 18 articles
[sw00482]
 KANTBP: A program for computing energy levels, reaction...

Kronecker
 Referenced in 117 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

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

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

LDL
 Referenced in 19 articles
[sw00507]
 Algorithm 849: A concise sparse Cholesky factorization package...

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

MA48
 Referenced in 26 articles
[sw00535]
 The design of MA48: A code for the...

MA57
 Referenced in 92 articles
[sw00536]
 MA57  a code for the solution of sparse...

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