Implementation of the Nielsen algorithm in the algebraic programming system APS-1

DOI10.1007/BF02367756zbMath0835.20001MaRDI QIDQ1905209

Yanyan Li

Publication date: 8 February 1996

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

canonical forms; finitely generated free groups; rewriting rules; irreducible words; Nielsen reduction process; Nielsen's algorithm

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

20F05: Generators, relations, and presentations of groups

20E05: Free nonabelian groups

20-04: Software, source code, etc. for problems pertaining to group theory

Related Items

APS-1

Uses Software

• APS

Cites Work

• Unnamed Item
• Unnamed Item