
ATENSOR
 Referenced in 5 articles
[sw00055]
 ATENSOR  REDUCE program for tensor simplification. Nature of...

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

FGb
 Referenced in 220 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

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

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

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

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

nauty
 Referenced in 437 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

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

SYMMETRICA
 Referenced in 26 articles
[sw00939]
 Symmetrica is a collection of routines, written in...

Cayley
 Referenced in 117 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

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

HAVAL
 Referenced in 41 articles
[sw02156]
 HAVAL is a cryptographic hash function. Unlike MD5...

CHEVIE
 Referenced in 166 articles
[sw04235]
 CHEVIE is a computer algebra project for symbolic...

4ti2
 Referenced in 102 articles
[sw04379]
 A software package for algebraic, geometric and combinatorial...

MeatAxe
 Referenced in 45 articles
[sw04906]
 The MeatAxe  Computing with Modular Representations. The MeatAxe...

DLMF
 Referenced in 983 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

MersenneTwister
 Referenced in 199 articles
[sw05367]
 Mersenne twister: A 623dimensionally equidistributed uniform pseudo...

OEIS
 Referenced in 2443 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

GRAPE
 Referenced in 75 articles
[sw07516]
 GRAPE is a GAP package for computing with...