
TomLib
 Referenced in 3 articles
[sw07718]
 columns are labelled by the conjugacy classes of subgroups of G and where...

Veering
 Referenced in 3 articles
[sw20132]
 solving the restricted conjugacy problem for pseudoAnosov mapping classes in the mapping class group...

BIGEBRA
 Referenced in 12 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

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

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

KANT/KASH
 Referenced in 127 articles
[sw00481]
 KASH/KANT is a computer algebra system (CAS) for...

Macaulay2
 Referenced in 1014 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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...

Matlab
 Referenced in 7110 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NITSOL
 Referenced in 72 articles
[sw00623]
 We introduce a welldeveloped Newton iterative (truncated...

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

SINGULAR
 Referenced in 962 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

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

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

ALTRAN
 Referenced in 30 articles
[sw01203]
 The Altran system for rational function manipulation — a...

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

OTTER
 Referenced in 201 articles
[sw02904]
 Our current automated deduction system Otter is designed...

Haskell
 Referenced in 400 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...