
BLAS
 Referenced in 490 articles
[sw03216]
 software packages. Primarily the Fortran BLAS (Basic Linear Algebra Subroutines) collected together by level ... software for dynamically determining machinedependent arithmetic properties...

Seigtool
 Referenced in 55 articles
[sw07021]
 important role in assessing the properties of a linear system under structured perturbations. Structured Eigtool...

LSQR
 Referenced in 372 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least Squares Problems. An iterative method is given ... conjugate gradients, but possesses more favorable numerical properties. Reliable stopping criteria are derived, along with...

ORBIT
 Referenced in 37 articles
[sw20552]
 points is sufficiently poised for linear interpolation. The RBF property of conditional positive definiteness yields...

LiQuor
 Referenced in 18 articles
[sw04136]
 quantitative analysis for omegaregular linear time properties by means of automatabased model checking...

MatrixMarket
 Referenced in 163 articles
[sw04020]
 matrix generation software and services, from linear systems, least squares, and eigenvalue computations ... searching for matrices with special properties are included. Each matrix (and matrix ... generator has a home page describing its properties. Generators are either static software which ... Statistical Software which has focus areas in linear algebra, special functions and statistics...

GYSELA
 Referenced in 40 articles
[sw17825]
 scheme, which exhibits good properties of energy conservation in nonlinear regime as well...

quadeig
 Referenced in 32 articles
[sw11532]
 choice of linearization with favorable conditioning and backward stability properties, and a preprocessing step that...

CGAL
 Referenced in 370 articles
[sw00118]
 well as estimation of local differential properties, and approximation of ridges and umbilics), alpha shapes ... matrix search framework and a solver for linear and quadratic programs. It further offers interfaces...

redbKIT
 Referenced in 195 articles
[sw12977]
 proper orthogonal decomposition techniques, investigate their approximation properties and analyze offlineonline decomposition strategies aimed ... applicative interest in the context of both linear and nonlinear PDEs. Moreover, the inclusion...

HolonomicFunctions
 Referenced in 50 articles
[sw06666]
 properties (addition, multiplication, substitutions) for such functions. An annihilating ideal represents the set of linear...

CAE Fidesys
 Referenced in 12 articles
[sw32799]
 suitable for numerical solution of the effective properties estimation problem for composite materials. In addition ... influence of nonlinear effects upon the mechanical properties of the composite. The correction...

PPROJ
 Referenced in 9 articles
[sw21258]
 rate is strengthened to a Qlinear convergence property. An algorithmic framework is developed...

RoVerGeNe
 Referenced in 13 articles
[sw10954]
 multiaffine differential equation models, dynamical properties are expressed in linear temporal logic and uncertain parameters ... problems: robustness analysis: checking whether a dynamical property is satisfied by every parameter...

COFFEE
 Referenced in 22 articles
[sw20274]
 fundamental mathematical property of finite element integration kernels, namely linearity of operators in test...

MRG32k3a
 Referenced in 27 articles
[sw18715]
 good structural properties. Such generators are statistically more robust than simple linear congruential generators that...

Verasco
 Referenced in 12 articles
[sw19985]
 intervals, integer congruences, pointsto properties) and relational (integer linear inequalities, symbolic equalities). Verasco enjoys...

sparsenet
 Referenced in 80 articles
[sw19133]
 address the problem of sparse selection in linear models. A number of nonconvex penalties have ... approach for optimization, and study its convergence properties. We characterize the properties of penalties suitable...

Nenofex
 Referenced in 18 articles
[sw09579]
 with only a linear increase of the formula size. This property motivates...

Bubbles
 Referenced in 8 articles
[sw08870]
 images have been proposed. These models predict properties of biological visual systems ... linear filter outputs. This leads to the emergence of principal simple cell properties. Alternatively, simple ... cell properties are obtained by maximizing the temporal coherence in natural image sequences. Taking account ... basic dependencies of linear filter outputs permit modeling of complex cells and topographic organization...