
autgradalg.lib
 Referenced in 1 article
[sw27091]
 free computer algebra system Singular to compute automorphisms of integral, finitely generated Calgebras that ... finitely generated abelian group. It implements the algorithms developed in ’Computing automorphisms of Mori dream ... Mori dream spaces and investigate the automorphism groups of a series of Fano varieties...

conauto
 Referenced in 1 article
[sw26977]
 Conauto  2.0: fast isomorphism testing and automorphism group computation...

SymPol
 Referenced in 6 articles
[sw09846]
 helps to compute restricted automorphisms (parts of the linear symmetry group) of polyhedra and performs...

CAS
 Referenced in 21 articles
[sw07634]
 system for handling characters of finite groups, including irrationalities, and partially defined characters. The commands ... Galois conjugate; using an outer automorphism; powering, tensoring, inducing, extending; extracting irreducible components (using several ... structure constants of the centre of the group algebra; kernel of a character; pblocks...

Ferret
 Referenced in 2 articles
[sw27107]
 particular properties. This include graph automorphisms, stabilizers and group intersection. Canonical Images. This involves finding...

PermLib
 Referenced in 7 articles
[sw09845]
 strong generating sets (BSGS). Additionally, it computes automorphisms of symmetric matrices and find the lexicographically ... features a very basic recognition of permutation group types. You may download the complete PermLib...

CRISP
 Referenced in 1 article
[sw27976]
 algorithm which can decide membership in the group class. Moreover, CRISP contains algorithms ... prescribed set of automorphisms and belonging to a given group class. This includes an improved...

ACL2
 Referenced in 254 articles
[sw00060]
 ACL2 is both a programming language in which...

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

CASA
 Referenced in 73 articles
[sw00108]
 CASA is a specialpurpose system for computational...

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

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

gmp
 Referenced in 232 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HURRY
 Referenced in 25 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...

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

LAPACK
 Referenced in 1503 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

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

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

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

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