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

GraphCanon
 Referenced in 1 article
[sw30190]
 canonicalization, graph isomorphism, and computation of automorphism groups of graphs. The package additionally contains...

Codes over Z4
 Referenced in 1 article
[sw32325]
 also functions to compute the permutation automorphism group for Hadamard and extended perfect codes over...

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

BlissInterface
 Referenced in 0 articles
[sw31136]
 software bliss: A Tool for Computing Automorphism Groups and Canonical Labelings of Graphs, written...

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 272 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

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

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

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

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

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

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

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