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

CML
 Referenced in 5 articles
[sw26227]
 parametric constraints (linear or nonlinear, equality or inequality), using the sequential quadratic programming method ... computes two classes of confidence intervals, by inversion of the Wald and likelihood ratio statistics...

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

ACRITHXSC
 Referenced in 46 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

ADOLC
 Referenced in 202 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ANSYS
 Referenced in 538 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

ACL2
 Referenced in 245 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 254 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoA
 Referenced in 545 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1394 articles
[sw00161]
 Coq is a formal proof management system. It...

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

CXSC 2.0
 Referenced in 118 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 51 articles
[sw00274]
 COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...

GAP
 Referenced in 2273 articles
[sw00320]
 GAP is a system for computational discrete algebra...