
girdap
 Referenced in 1 article
[sw24936]
 management library for solving equations of conservation laws. girdap is an objectoriented grid generation ... their vertices ($r$adaptation) to resolve length scales based on solution field obtained using algebraic...

LDEC
 Referenced in 1 article
[sw03262]
 range of crack speeds. When the scale of observation (or mesh resolution) becomes much larger ... elements that utilize a ratedependent weakening law for the nodal cohesive forces. The second...

VARD
 Referenced in 1 article
[sw14221]
 Poisson noise models with Beer’s law. The key advantage of ARD or VARD ... line searches, making them feasible for large scale problems such...

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

FIDAP
 Referenced in 37 articles
[sw00006]
 FIDAP (A Fluid Dynamics Analysis Program). This paper...

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

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

ATLAS
 Referenced in 197 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

CONSLAW
 Referenced in 7 articles
[sw00155]
 An improved algorithm to explicitly compute the polynomial...

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

EdgePack
 Referenced in 23 articles
[sw00229]
 A new and simple method is proposed to...

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

GeM
 Referenced in 87 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

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

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

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

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

IRKC
 Referenced in 19 articles
[sw00452]
 The Fortran 90 code IRKC is intended for...