
MOLGEN
 Referenced in 26 articles
[sw00586]
 groups and double cosets of groups operating on sets, new methods for colouring orbits...

Canon
 Referenced in 5 articles
[sw00102]
 exist dummy (summed over) indices. Solution method: Computational Group Theory algorithms have been used, specially ... finding canonical representations of single and double cosets, and algorithms for creating strong generating sets...

AXIOM
 Referenced in 173 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

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

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

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

Plural
 Referenced in 86 articles
[sw00719]
 Singular is a computer algebra system (CAS) developed...

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

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

LiE
 Referenced in 164 articles
[sw01075]
 LiE is the name of a software package...

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

CPLEX
 Referenced in 2766 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Gurobi
 Referenced in 679 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

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

Mace4
 Referenced in 227 articles
[sw06905]
 finite modelfinder Mace4. Mace4 is a program...