
AutHyp
 Referenced in 1 article
[sw22773]
 Automorphism groups of hyperbolic lattices. Based on the concept of dual cones introduced ... compute a generating system of the group of automorphisms of an integral lattice endowed with ... method to determine generating systems of discontinuous groups acting on dual cones. The application...

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

AutParCommGrp
 Referenced in 1 article
[sw35048]
 AutParCommGrp package (Finite Presentations of Automorphism Groups of Partially Commutative Groups and Their Subgroups...

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

CAS
 Referenced in 22 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...

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

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

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

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

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

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

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

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

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

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