• BOUT

  • Referenced in 8 articles [sw06564]
  • Application of parallel implicit methods to edge-plasma numerical simulations. A description is given ... UEDGE when the time-dependent system is integrated to steady state. A limitation that ... additional speedup factor of 3--6 by using the fully implicit Newton-Krylov solver compared...
  • mrms

  • Referenced in 2 articles [sw33953]
  • idea of how to avoid the factorization of large matrices during the solution of stiff ... linear multistep method we suggest to adaptively choose its coefficients on each integration step ... norm of the residual of an implicit BDF formula. Thereby we reduce the number...
  • SHALL 4

  • Referenced in 3 articles [sw00007]
  • SHALL4 - an implicit compact fourth-order Fortran program for solving the shallow-water equations ... accurate finite difference scheme in a spatially factored form, for solving the nonlinear shallow-water ... method and has a smaller truncation error than the usual fourth-order schemes. The integral...
  • UEDGE

  • Referenced in 1 article [sw06563]
  • Application of parallel implicit methods to edge-plasma numerical simulations. A description is given ... UEDGE when the time-dependent system is integrated to steady state. A limitation that ... additional speedup factor of 3--6 by using the fully implicit Newton-Krylov solver compared...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

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

  • Referenced in 34 articles [sw00076]
  • Bi-CG: An effective solver for three fields...
  • BoomerAMG

  • Referenced in 195 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • 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...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

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

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

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

  • Referenced in 198 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

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

  • Referenced in 33 articles [sw00331]
  • GELDA is a Fortran77 sofware package for the...
  • Gerris

  • Referenced in 313 articles [sw00341]
  • Gerris is a Free Software program for the...
  • Gmsh

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