
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 Maplebased “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, opensource 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 SturmLioville 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 modelfinder Mace4. Mace4 is a program...

Automath
 Referenced in 404 articles
[sw07127]
 Automath is a language designed by N.G. the...