• Modulef

  • Referenced in 19 articles [sw01072]
  • iterative methods. Solution methods for eigenproblems include inverse iteration, subspace iteration, Lanczos and QR methods ... dependent thermal problems and dynamic problems; variational inequalities; Solution of the Dirichlet problem...
  • Algorithm 922

  • Referenced in 19 articles [sw12858]
  • Transmission eigenvalue problem has important applications in inverse scattering. Since the problem is non-self ... decided using a Faber-Krahn type inequality for transmission eignevalues and the interval is updated ... easily used in the qualitative methods in inverse scattering and modified to compute transmission eigenvalues...
  • DistributionUtils

  • Referenced in 1 article [sw11601]
  • testing distributions using inversion tests and the Massart inequality. Also includes an implementation...
  • limSolve

  • Referenced in 1 article [sw08211]
  • limSolve: Solving Linear Inverse Models. Functions that (1.) Find the minimum/maximum of a linear ... subject to equality constraints Ex=f and/or inequality constraints Gx>=h. (2.) Sample an underdetermined...
  • ADOL-C

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

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

  • Referenced in 236 articles [sw00060]
  • ACL2 is both a programming language in which...
  • AXIOM

  • Referenced in 161 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • BARON

  • Referenced in 240 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CoCoA

  • Referenced in 537 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

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

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

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

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

  • Referenced in 35 articles [sw00244]
  • Epsilon is a library of functions implemented in...
  • FEMLAB

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

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

  • Referenced in 208 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • HSL

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