
ACL2
 Referenced in 291 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

Chaste
 Referenced in 54 articles
[sw00122]
 Chaste: incorporating a novel multiscale spatial and...

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

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

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 A C++ class library for extended scientific computing...

DEA
 Referenced in 246 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

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

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

FIAT
 Referenced in 44 articles
[sw00287]
 Algorithm 839: FIAT, a new paradigm for computing...

FLIPS
 Referenced in 7 articles
[sw00299]
 FLIPS (Fortran Linear Inverse Problem Solver) is a...

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

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

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

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

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

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