• LOBPCG

  • Referenced in 32 articles [sw09638]
  • rank methods for high-dimensional elliptic PDE eigenvalue problems. We consider elliptic PDE eigenvalue problems...
  • ENTWIFE

  • Referenced in 18 articles [sw04255]
  • second-order elliptic differential equations.ENTWIFE has extensive capabilities for analysing nonlinear problems that may exhibit ... stability of previously computed solutions using eigenvalue techniques.ENTWIFE uses the free-format structured input language...
  • PLTMGC

  • Referenced in 19 articles [sw01063]
  • program package for solving nonlinear elliptic systems that have explicit dependence on a scalar parameter ... used to solve the linear eigenvalue problem, trace solution branches, locate singular points (simple turning...
  • TWODEPEP

  • Referenced in 10 articles [sw01212]
  • capable of solving only a single linear elliptic equation in polygonal regions, with simple boundary ... linear and time dependent problems, systems of PDEs, eigenvalue problems, and as it evolved cubic...
  • HPDDM

  • Referenced in 6 articles [sw15717]
  • automatically by the framework using: Generalized Eigenvalue problems on the Overlap (GenEO), an approach first ... proven to be efficient for solving various elliptic problems such as scalar diffusion equations...
  • PHOENIX

  • Referenced in 3 articles [sw02606]
  • which discriminates between the different elliptic flow regimes that may occur. PHOENIX makes ... This leads to a large generalized eigenvalue problem, which is solved by means of Jacobi...
  • POTHEA

  • Referenced in 2 articles [sw19948]
  • parameter of the parametric self-adjoined 2D elliptic partial differential equation with the Dirichlet and/or ... surface eigenfunctions with respect to a parameter. Eigenvalues and matrix elements computed by the POTHEA ... bound state and multi-channel scattering problems for a system of coupled second order ordinary...
  • BEMLIB

  • Referenced in 102 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ANSYS

  • Referenced in 672 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ARMS

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

  • Referenced in 172 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Concepts

  • Referenced in 22 articles [sw00151]
  • The authors show how mathematical concepts can be...
  • Coq

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...
  • COSTA

  • Referenced in 23 articles [sw00162]
  • COSTA is a research prototype which performs automatic...
  • C-XSC

  • Referenced in 109 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

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