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

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

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

EPDCOL
 Referenced in 18 articles
[sw00240]
 The software package PDECOL [7] is a popular...

ESFLIB
 Referenced in 4 articles
[sw00248]
 We present a library for the computation of...

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

FEMLAB
 Referenced in 57 articles
[sw00274]
 COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...

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

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

GLANUSIT
 Referenced in 4 articles
[sw00355]
 The here presented GLAciology NUmerical SImulation Toolbox (GLANUSIT...

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

GrAL
 Referenced in 20 articles
[sw00375]
 C++, GrAL is a generic library for grid...

Hopscotch
 Referenced in 45 articles
[sw00413]
 Hopscotch: a fast second order partial differential equations...

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

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

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

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

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

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

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