scientific article

zbMath1120.20032MaRDI QIDQ3440005

George Havas, Colin M. Ramsay

Publication date: 21 May 2007

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

zbMATH Keywords

algorithmsfinitely presented groupsAndrews-Curtis conjectureautomatic theorem provingproofsfinite presentationsvan Kampen diagramstrivial groupFibonacci groupscoset enumerations24th Hilbert problemTodd-Coxeter coset enumeration procedure

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) 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) Cancellation theory of groups; application of van Kampen diagrams (20F06)

Related Items (2)

Groups with given properties of finite subgroups. ⋮ The \(F^{a,b,c}\) conjecture is true. II.

This page was built for publication: