scientific article; zbMATH DE number 3908658

MaRDI QIDQ3686870zbMATH OpenFDO

Authors George Havas, P. E. Kenne, J. S. Richardson, E. F. Robertson

Publication date 1984

zbMATH Keywords

FORTRAN programpresentationTietze transformations

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to group theory (20-04) Generators, relations, and presentations of groups (20F05)

Recommendations

• Tietze transformations with weighted substring search
• A computer proof of relations in a certain class of groups
• scientific article; zbMATH DE number 475449
• Fast Searching for Andrews–Curtis Trivializations
• scientific article; zbMATH DE number 4183682

Cited in

(11)

• Tietze transformations with weighted substring search
• Recognizing badly presented \(Z\)-modules
• On maximal subgroups of free idempotent generated semigroups.
• The GOEDEL program
• scientific article; zbMATH DE number 4175254 (Why is no real title available?)
• Presentations for the simple groups g, l0⁵≪ |g| < 10⁶
• Algebra and automated deduction
• Cyclically Presented Groups Embedded in One-Relator Products of Cyclic Groups
• Some computations of non-Abelian tensor products of groups
• Morse theory for group presentations
• The groups \((l,m\mid n,k)\)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3686870)