
Cadabra
 Referenced in 83 articles
[sw00097]
 Cadabra is a powerful computer program for the...

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

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

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

Cuba
 Referenced in 61 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

EIGIFP
 Referenced in 43 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

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

GeM
 Referenced in 95 articles
[sw00332]
 We present a recently developed Maplebased “GeM...

GRTensorII
 Referenced in 48 articles
[sw00393]
 GRTensor II is a computer algebra package for...

Hypexp
 Referenced in 58 articles
[sw00425]
 HypExp 2, Expanding hypergeometric functions about halfinteger...

Invar
 Referenced in 31 articles
[sw00446]
 The Invar Tensor Package. The Invar package is...

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

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

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

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

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

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

Octave
 Referenced in 295 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

PALP
 Referenced in 70 articles
[sw00672]
 We describe our package PALP of C programs...

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