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

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

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

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

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

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

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

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

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

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

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

MACSYMA
 Referenced in 674 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 150 articles
[sw04235]
 CHEVIE is a computer algebra project for symbolic...

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

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

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

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

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

orb
 Referenced in 7 articles
[sw07720]
 GAP package orb. The orb package is about...