• 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 large-scale 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...