
LAPACK
 Referenced in 1713 articles
[sw00503]
 precision. The original goal of the LAPACK project was to make the widely used EISPACK ... performed by calls to the Basic Linear Algebra Subprograms (BLAS). LAPACK is designed ... many highperformance computers, particularly if specially coded implementations are provided by the manufacturer. Highly...

MatrixMarket
 Referenced in 170 articles
[sw04020]
 matrix generation software and services, from linear systems, least squares, and eigenvalue computations ... collection or for searching for matrices with special properties are included. Each matrix (and matrix ... Market is a component of the NIST project on Tools for Evaluation of Mathematical ... Software which has focus areas in linear algebra, special functions and statistics...

Diffpack
 Referenced in 115 articles
[sw00203]
 challenges. Based on experiences from an ongoing project that develops C++ software for the solution ... design of iterative solvers for linear systems of equations. Special attention is paid to possible...

tgp
 Referenced in 44 articles
[sw07921]
 model (LLM). Special cases also implemented include Bayesian linear models, CART, treed linear models, stationary ... plotting functions (with projection and slice capabilities) and tree drawing, designed for visualization...

COBS
 Referenced in 30 articles
[sw08988]
 COBS: qualitatively constrained smoothing via linear programming. Popular smoothing techniques generally have a difficult time ... considered a special case and showed that the L 1 projection of a smooth function...

FMPIntersectionTheory
 Referenced in 9 articles
[sw19977]
 linear equations which determine the coefficients for the Segre class pushed forward to projective space ... several others which solve the problem in special cases, where the ambient variety...

QPSchur
 Referenced in 16 articles
[sw06918]
 many different application areas. Moreover, the specialized structure of the QP is abstracted away behind ... dual Schur complement method requires the projected Hessian to be positive definite for every working ... While the Schur complement approach to linear algebra is very flexible with respect to allowing ... demonstrated on two different application areas with specializations in each area; largescale model predictive...

NOX Solver AndersonAcceleration
 Referenced in 3 articles
[sw31748]
 Tensor algorithms. Special algorithms have been developed for use with inexact linear solvers such ... designed to work with any linear algebra package and to be easily customized ... part of Sandia’s Trilinos project...

PPCG_lrep
 Referenced in 2 articles
[sw29678]
 projected preconditioned conjugate gradient method for the linear response eigenvalue problem. The linear response eigenvalue ... together with the associated eigenvectors of a special Hamiltonian matrix and plays an important role ... solution. In this paper, we propose a Projected Preconditioned Conjugate Gradient (PPCG_lrep) method...

Algolib
 Referenced in 3 articles
[sw04111]
 interplay between these applications serves the Algorithms Project’s main goal of the automatic complexity ... other packages for the manipulation of linear differential and difference operators, Groebner basis calculations ... symbolic summation and integration of special functions and combinatorial sequences. Special emanations of the above...

OsiCplex
 Referenced in 1 article
[sw21983]
 Matthew Saltzman is the COINOR project leader for OSI. For more information we refer ... support linear equations and continuous, binary, and integer variables. Semicontinuous and Semiinteger variables, special ordered...

GPSR
 Referenced in 1 article
[sw14968]
 finding a sparse solution to an undetermined linear system of equations. Basis Pursuit, the Least ... that a solver of gradient projection type, using special line search and termination techniques, gave...

ATLAS
 Referenced in 199 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

CASA
 Referenced in 111 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

compositions
 Referenced in 24 articles
[sw00150]
 R package compositions:Compositional data analysis with R...

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

DEA
 Referenced in 246 articles
[sw00194]
 Data Envelopment Analysis (DEA) is becoming an increasingly...

Expokit
 Referenced in 200 articles
[sw00258]
 Expokit provides a set of routines aimed at...