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

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

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

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

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

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

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

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

SageMath
 Referenced in 1065 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 118 articles
[sw01053]
 An introduction to the Group Theory Language, Cayley...

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

McEliece
 Referenced in 173 articles
[sw02076]
 Practical power analysis attacks on software implementations of...

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

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

4ti2
 Referenced in 105 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 1134 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

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

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