
BoomerAMG
 Referenced in 178 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

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

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

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

COLAMD
 Referenced in 30 articles
[sw00145]
 Two codes are discussed, COLAMD and SYMAMD, that...

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

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

Diffpack
 Referenced in 115 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

EIGIFP
 Referenced in 43 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

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

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

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

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

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

HOM4PS
 Referenced in 78 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

HSL
 Referenced in 275 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

hypre
 Referenced in 296 articles
[sw00426]
 hypre is a software library for the solution...

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

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

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