• BLAS

  • Referenced in 490 articles [sw03216]
  • software packages. Primarily the Fortran BLAS (Basic Linear Algebra Subroutines) collected together by level ... software for dynamically determining machine-dependent 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 omega-regular linear time properties by means of automata-based 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 non-linear 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 offline-online 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 non-linear effects upon the mechanical properties of the composite. The correction...
  • PPROJ

  • Referenced in 9 articles [sw21258]
  • rate is strengthened to a Q-linear 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, points-to 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...