
BEMLIB
 Referenced in 115 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

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

BARON
 Referenced in 361 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CASA
 Referenced in 111 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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...

CoCoALib
 Referenced in 61 articles
[sw00144]
 CoCoALib: A C++ library for computations in commutative...

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

COSTA
 Referenced in 24 articles
[sw00162]
 COSTA is a research prototype which performs automatic...

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

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

Dafny
 Referenced in 74 articles
[sw00183]
 Dafny is an imperative objectbased language with...

Epsilon
 Referenced in 44 articles
[sw00244]
 Epsilon is a library of functions implemented in...

FGb
 Referenced in 247 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

homalg
 Referenced in 30 articles
[sw00411]
 homalg: a metapackage for homological algebra. The...

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...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...