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

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

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

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

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

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

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

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

ScaLAPACK
 Referenced in 408 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

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

SPLUS
 Referenced in 604 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

kbmag
 Referenced in 21 articles
[sw04845]
 The kbmag package is a GAP interface to...

Maude
 Referenced in 675 articles
[sw06233]
 Maude is a highperformance reflective language and...

NumPy
 Referenced in 428 articles
[sw06294]
 NumPy is the fundamental package for scientific computing...

MPI
 Referenced in 506 articles
[sw06496]
 Automatic differentiation through the use of hyperdual...

AutomGrp
 Referenced in 12 articles
[sw07727]
 AutomGrp–GAP package for computations in selfsimilar...

GOSim
 Referenced in 5 articles
[sw08204]
 Background: With the increased availability of high throughput...

NQL
 Referenced in 8 articles
[sw08257]
 The GAP package NQL. The NQL package defines...

Stan
 Referenced in 195 articles
[sw10200]
 Stan: A C++ Library for Probability and Sampling...