• MOVCOL4

  • Referenced in 17 articles [sw03307]
  • mesh code for fourth-order time-dependent partial differential equations We develop and analyze ... code for the adaptive simulation of fourth-order PDEs based on collocation. The scheme ... thin-film -- type equations exhibiting metastable behavior, finite-time solution blow-up, finite-time extinction...
  • Chianti

  • Referenced in 5 articles [sw23091]
  • atomic changes, and a partial order inter-dependences 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 first-order 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 divergence-form second-order 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 special-purpose 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...