Results 1 to 20 of 106
Sort by:

  • SgpViz
  • Referenced in 4 articles [sw07631]
  • semigroups through their đť’ź-classes or Cayley graphs, as well as to make friendlier...

  • BioGAP
  • Referenced in 3 articles [sw08793]
  • such as the word distance in Cayley graphs, stabilizer subgroups for modelling biological constraints, using...

  • MAF
  • Referenced in 2 articles [sw11177]
  • draw a picture of the Cayley graph of an arbitrary hyperbolic triangle group, after first...

  • cdd
  • Referenced in 102 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...

  • Cinderella
  • Referenced in 133 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...

  • CoCoA
  • Referenced in 564 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...

  • Coq
  • Referenced in 1526 articles [sw00161]
  • Coq is a formal proof management system. It...

  • Epsilon
  • Referenced in 37 articles [sw00244]
  • Epsilon is a library of functions implemented in...

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

  • Isabelle
  • Referenced in 541 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...

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

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

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

  • Maple
  • Referenced in 4699 articles [sw00545]
  • The result of over 30 years of cutting...

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

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

  • MOLGEN
  • Referenced in 25 articles [sw00586]
  • Due to a detailed description of the underlying...

  • nauty
  • Referenced in 487 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...

  • PHCpack
  • Referenced in 185 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...