A computer proof of relations in a certain class of groups

DOI10.1017/S0308210500027645MaRDI QIDQ5749464zbMATH OpenOpenAlexFDO

Authors Kevin Rutherford, E. F. Robertson

Publication date 1991

Published in Proceedings of the Royal Society of Edinburgh: Section A Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0308210500027645

zbMATH Keywords

computer programfinitely presented groupspresentationsReidemeister rewritingTietze transformations

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 85788
• scientific article; zbMATH DE number 665466
• scientific article; zbMATH DE number 4134296
• Use of computers in solving well-known algebra problems
• scientific article; zbMATH DE number 278890

Cites work

• Deficiency zero groups involving Fibonacci and Lucas numbers

Cited in

(7)

• Tietze transformations with weighted substring search
• scientific article; zbMATH DE number 4136197 (Why is no real title available?)
• scientific article; zbMATH DE number 3908658 (Why is no real title available?)
• On the torsion of certain finitely presented groups
• scientific article; zbMATH DE number 85788 (Why is no real title available?)
• scientific article; zbMATH DE number 475449 (Why is no real title available?)
• Computer proofs in group theory

This page was built for publication: A computer proof of relations in a certain class of groups

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