
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 nonself ... decided using a FaberKrahn 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...

ADOLC
 Referenced in 184 articles
[sw00019]
 ADOLC: 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...

CXSC
 Referenced in 98 articles
[sw00181]
 CXSC. A programming environment for verified scientific...

CXSC 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...