Tietze transformations with weighted substring search
From MaRDI portal
Publication:1110650
DOI10.1016/S0747-7171(88)80021-XzbMath0657.20001MaRDI QIDQ1110650
Publication date: 1988
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
relations; presentations; generators; subgroups of finite index; finitely presented groups; Tietze transformations; Reidemeister-Schreier program; simplification of presentations; Tietze program
20F05: Generators, relations, and presentations of groups
20-04: Software, source code, etc. for problems pertaining to group theory
Related Items
Cites Work