• FGA

  • Referenced in 3 articles [sw11539]
  • subgroups of free groups and provides a presentation for their automorphism groups...
  • Gpd

  • Referenced in 8 articles [sw08651]
  • rays to each object. The automorphism group of such a groupoid is also computed ... quotient of permutation groups. The second part implements graphs of groups and graphs ... graph of groups is a directed graph with a group at each vertex ... This construction enables normal form computations for free products with amalgamation, and for HNN extensions...
  • autgradalg.lib

  • Referenced in 1 article [sw27091]
  • autgradalg.lib for the free computer algebra system Singular to compute automorphisms of integral, finitely generated ... pointedly by a finitely generated abelian group. It implements the algorithms developed in ’Computing...
  • ACL2

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

  • Referenced in 80 articles [sw00131]
  • CLIFFORD performs various computations in Grass mann and...
  • GAP

  • Referenced in 2957 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 274 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • KANT/KASH

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

  • Referenced in 1648 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1734 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

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

  • Referenced in 5177 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6075 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 12557 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 154 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • nauty

  • Referenced in 575 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PARI/GP

  • Referenced in 604 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • REDUCE

  • Referenced in 741 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

  • Referenced in 1741 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...