Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1

DOI10.1007/BF02366453zbMath0835.20002OpenAlexW1970756423MaRDI QIDQ1905234

S. L. Krivoj

Publication date: 8 February 1996

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

Full work available at URL: https://doi.org/10.1007/bf02366453

zbMATH Keywords

semigroupsfinite automatafinite algebrasfinitely generated free groupsimplementation of algorithmsNielsen algorithm

Mathematics Subject Classification ID

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

Uses Software

• APS-1
• APS

Cites Work

• Unnamed Item

This page was built for publication: Implementation of some algorithms of combinatorial group theory in the algebraic programming system APS-1