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

ALBERT
 Referenced in 82 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

AMD
 Referenced in 57 articles
[sw00039]
 Algorithm 837: AMD is a set of routines...

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

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

cdd
 Referenced in 112 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

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

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

Cuba
 Referenced in 65 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

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

Expokit
 Referenced in 185 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 3026 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GeoFEM
 Referenced in 22 articles
[sw00338]
 An initial overview of parallel visualization in the...

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

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

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

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

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