
DSPCA
 Referenced in 35 articles
[sw04804]
 problem of approximating, in the Frobeniusnorm sense, a positive, semidefinite symmetric matrix...

ParaSails
 Referenced in 27 articles
[sw11521]
 million equations. ParaSails uses leastsquares (Frobenius norm) minimization to compute a sparse approximate inverse...

EinSum
 Referenced in 6 articles
[sw04212]
 exploit symmetries are presented. First, a Frobenius norm computation is derived. Second, a projection ... proven to be optimal in the Frobenius norm. Third, a symmetry utilizing formula ... Code for the implementation of the Frobenius norm, the general projection, and the dual mapping...

ACGSSV
 Referenced in 8 articles
[sw20836]
 BFGS update by Oren in the Frobenius norm. Two variants of the parameter...

LCOBYQA
 Referenced in 7 articles
[sw10964]
 freedom is resolved by minimizing the Frobenius norm of the change to the second derivative...

MSPAI
 Referenced in 6 articles
[sw11522]
 class of preconditioners based on Frobenius norm minimizations, the class of modified preconditioners such...

rTensor
 Referenced in 1 article
[sw32423]
 unfolding, summing/averaging across modes, calculating the Frobenius norm, and taking the inner product between...

CVTuningCov
 Referenced in 0 articles
[sw16329]
 types of matrix norms are applied: Frobenius norm and operator norm. Two types...

LRIPy
 Referenced in 1 article
[sw26565]
 DouglasRachford. Purpose: Lowrank rank inducing norms and nonconvex Proximal Splitting Algoriths attempt ... rank inducing Frobenius and Spectral norms, as well as, their epigraph projections...

LRINorm
 Referenced in 1 article
[sw26564]
 Proximal Splitting Methods. Lowrank rank inducing norms and nonconvex Proximal Splitting Algoriths attempt ... rank inducing Frobenius and Spectral norms, as well as, their epigraph projections...

Perron Frobenius
 Referenced in 1 article
[sw28597]
 PerronFrobenius Theorem for Spectral Radius Analysis. The spectral radius of a matrix ... maximum norm of all eigenvalues of A. In previous work we already formalized that ... possible with the help of the Perron–Frobenius theorem, which tells us that it suffices...

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

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

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

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

gmp
 Referenced in 256 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HSL
 Referenced in 265 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

KANT/KASH
 Referenced in 155 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

LANCELOT
 Referenced in 293 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...