scientific article; zbMATH DE number 6320518

zbMath1298.20044MaRDI QIDQ5170849

René Hartung

Publication date: 25 July 2014

Full work available at URL: http://ediss.uni-goettingen.de/bitstream/handle/11858/00-1735-0000-000D-F065-7/hartung.pdf?sequence=1

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algorithmsword problemfinitely presented groupsfinite \(L\)-presentationsfinite index subgroupsinfinite presentationsrecursive presentationsReidemeister-Schreier theoremTodd-Coxeter algorithmKnuth-Bendix procedure

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Software, source code, etc. for problems pertaining to group theory (20-04) Derived series, central series, and generalizations for groups (20F14)

Uses Software

• GAP
• Magma
• NQL
• FR
• ACE
• anusq

This page was built for publication: