
sparsenet
 Referenced in 52 articles
[sw19133]
 pursue a coordinatedescent approach for optimization, and study its convergence properties. We characterize...

TRX
 Referenced in 8 articles
[sw08800]
 grammars (PEGs), a formalism essentially representing recursive descent parsing, which we consider an attractive alternative ... grammar and the semantics of PEGs; both properties formally proven...

flm
 Referenced in 1 article
[sw28185]
 subspaces that are imbued with certain desirable properties as determined by the practitioner ... descent, and an R package, flm, whose backend is written in C++. Asymptotic properties...

LBT
 Referenced in 1 article
[sw29441]
 model checking, where it represents a property to be verified from a model ... prefix notation that facilitate straightforward recursivedescent parsing...

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

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

LAPACK
 Referenced in 1503 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 304 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

Macaulay2
 Referenced in 1341 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Magma
 Referenced in 2347 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4663 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5178 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 10365 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 483 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

MuPAD
 Referenced in 135 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a...

NAG
 Referenced in 333 articles
[sw00610]
 Produced by experts for use in a variety...

R
 Referenced in 6475 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 706 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SageMath
 Referenced in 1248 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...