• Gpd

  • Referenced in 8 articles [sw08651]
  • package provides functions for computation with finite groupoids and their morphisms. The first part ... concerned with the standard constructions for connected groupoids, and for groupoids with more than ... component. Groupoid morphisms are also implemented, and recent work includes the implementation of automorphisms ... finite, connected groupoid: by permutation of the objects; by automorphism of the root group...
  • DDA

  • Referenced in 2 articles [sw29479]
  • algorithms, that takes as input a finite groupoid and an operation over its universe ... successful for all idemprimal term continuous groupoids, which appear to be almost all finite groupoids ... seriously compromised or fails for most finite groupoids not meeting both of these conditions...
  • groupoids

  • Referenced in 1 article [sw27980]
  • package groupoids: Calculations with finite groupoids and their homomorphisms. The groupoids package provides a collection ... functions for computing with finite groupoids, graph of groups, and graphs of groupoids. These...
  • BGroidAP8

  • Referenced in 1 article [sw01985]
  • computing the unital subgroupoids of a groupoid. The paper presents a method to determine ... unital subgroupoids of a finite groupoid (generalization of a group). After a short description ... groupoid and subgroupoid notions and their properties, the implementation of the new method in Pascal...
  • Magma

  • Referenced in 1 article [sw21159]
  • magmas. A magma (sometimes also called a groupoid or a general binary system) is simply...
  • GAP

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

  • Referenced in 92 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • Magma

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

  • Referenced in 376 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • MuPAD

  • Referenced in 138 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • SageMath

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

  • Referenced in 131 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...
  • SLEDGE

  • Referenced in 95 articles [sw01217]
  • Using the SLEDGE package on Sturm-Lioville problems...
  • OTTER

  • Referenced in 314 articles [sw02904]
  • Our current automated deduction system Otter is designed...
  • Prover9

  • Referenced in 177 articles [sw04969]
  • Prover9 and Mace4: Prover9 is an automated theorem...
  • XPPAUT

  • Referenced in 418 articles [sw05543]
  • XPPAUT is software for the analysis and simulation...
  • FINDER

  • Referenced in 40 articles [sw06376]
  • Finite domain enumerator. This is a finite domain...
  • Mace4

  • Referenced in 205 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program...