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

Veering
 Referenced in 4 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 49 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

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

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

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

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

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

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

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

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

LiE
 Referenced in 123 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 683 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

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

LBFGS
 Referenced in 542 articles
[sw03229]
 Algorithm 778: LBFGSB Fortran subroutines for...