
MOVCOL4
 Referenced in 17 articles
[sw03307]
 mesh code for fourthorder timedependent partial differential equations We develop and analyze ... code for the adaptive simulation of fourthorder PDEs based on collocation. The scheme ... thinfilm  type equations exhibiting metastable behavior, finitetime solution blowup, finitetime extinction...

Chianti
 Referenced in 5 articles
[sw23091]
 atomic changes, and a partial order interdependences of these changes is calculated. Change impact ... affected (regression or unit) tests whose execution behavior may have been modified by the applied...

QuakeTM
 Referenced in 2 articles
[sw09534]
 capabilities. While existing TM applications can partially answer the above question, and are useful ... sense that they provide a firstorder TM experimentation framework, they serve only ... provide extensive analysis of the transactional behavior of QuakeTM, with an emphasis and discussion...

ManifoldCode
 Referenced in 1 article
[sw06974]
 covariant divergenceform secondorder nonlinear elliptic systems of partial differential equations on domains with ... simulate the large deformation nonlinear elastic behavior of complicated hyperelastic bodies, although it can also...

FLDBox
 Referenced in 1 article
[sw40308]
 abstract analyzer in order to analyze the program behavior at runtime. RAI is a hybrid ... that provides necessary primitives to explore relevant (partial) executions of each section and propagate accuracy...

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

ARMS
 Referenced in 65 articles
[sw00048]
 ARMS: an algebraic recursive multilevel solver for general...

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

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

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

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

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

FEMLAB
 Referenced in 57 articles
[sw00274]
 COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...

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

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

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

KNITRO
 Referenced in 196 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1904 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 3296 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...