• MONOiD

  • Referenced in 4 articles [sw08361]
  • simple, inverse, or completely regular; computing the automorphism group of a transformation semigroup; homomorphisms...
  • conauto

  • Referenced in 4 articles [sw26977]
  • Conauto - 2.0: fast isomorphism testing and automorphism group computation...
  • UnitalSZ

  • Referenced in 4 articles [sw31296]
  • block designs. There are methods for automorphisms and isomorphisms and for the embeddings of unitals...
  • ModIsom

  • Referenced in 2 articles [sw08645]
  • package ModIsom: Computing automorphisms and checking isomorphisms for modular group algebras of finite p-groups ... contains a method to determine the automorphism group and to test isomorphis of such algebras...
  • FGA

  • Referenced in 3 articles [sw11539]
  • groups and provides a presentation for their automorphism groups...
  • nishe

  • Referenced in 1 article [sw19166]
  • algorithm used by nauty. We employ discovered automorphisms to ensure that a canonical labeling ... polynomial time for colored Miyazaki graphs. These automorphisms can be used to make better choices ... depending on partial knowledge of the full automorphism group. The proposed modifications are not specific ... Miyazaki graphs. Any graph with a nontrivial automorphism group can benefit from our approach...
  • Ferret

  • Referenced in 2 articles [sw27107]
  • cosets with particular properties. This include graph automorphisms, stabilizers and group intersection. Canonical Images. This...
  • AutHyp

  • Referenced in 1 article [sw22773]
  • Automorphism groups of hyperbolic lattices. Based on the concept of dual cones introduced ... generating system of the group of automorphisms of an integral lattice endowed with a hyperbolic...
  • pl-nauty

  • Referenced in 1 article [sw22940]
  • Logic programming with graph automorphism: integrating with Prolog (tool description). This paper presents ... library, a Prolog interface to the graph-automorphism tool. Adding the capabilities of nauty...
  • cwsLieSymTools

  • Referenced in 1 article [sw39655]
  • evolutionary approach to the automatic classification of automorphisms of lower-dimensional Lie algebras. We implement ... algorithms in MATHEMATICA for classifying automorphisms of lower-dimensional non-Abelian Lie algebras. The first...
  • cwsAutoClass

  • Referenced in 1 article [sw39656]
  • evolutionary approach to the automatic classification of automorphisms of lower-dimensional Lie algebras. We implement ... algorithms in MATHEMATICA for classifying automorphisms of lower-dimensional non-Abelian Lie algebras. The first...
  • CRISP

  • Referenced in 1 article [sw27976]
  • subgroups invariant under a prescribed set of automorphisms and belonging to a given group class...
  • GraphCanon

  • Referenced in 1 article [sw30190]
  • graph 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...
  • o_r_orbifolds

  • Referenced in 1 article [sw34453]
  • without a boundary under periodic orientation-reversing automorphisms...
  • AutParCommGrp

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

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

  • Referenced in 12 articles [sw00055]
  • ATENSOR - REDUCE program for tensor simplification. Nature of...
  • ACL2

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