• autgradalg.lib

  • Referenced in 1 article [sw27091]
  • free computer algebra system Singular to compute automorphisms of integral, finitely generated C-algebras 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; p-blocks...
  • 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 special-purpose 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...