
LUCY
 Referenced in 5 articles
[sw14999]
 arbitrary user defined bases, multilinearity of the product, spinors and their duals with respect...

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

BARON
 Referenced in 354 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CLIFFORD
 Referenced in 84 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

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

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

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

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

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

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

PHCpack
 Referenced in 236 articles
[sw00705]
 Algorithm 795: PHCpack: A generalpurpose solver for...

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

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

STATISTICA
 Referenced in 37 articles
[sw00913]
 Since 1984, StatSoft has been developing the STATISTICA...

SCIP
 Referenced in 536 articles
[sw01091]
 SCIP is currently one of the fastest non...

MACSYMA
 Referenced in 720 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

CMRH
 Referenced in 32 articles
[sw02194]
 CMRH: A new method for solving nonsymmetric linear...

SNOPT
 Referenced in 543 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...