| Bibliography | Kufleitner, Manfred: Wortgleichungen in hyperbolischen Gruppen.
University of Stuttgart, Faculty of Computer Science, Diploma Thesis No. 1922 (2001).
57 pages, german.
|
|---|
| CR-Schema | F.2.2 (Nonnumerical Algorithms and Problems)
F.4.1 (Mathematical Logic)
F.4.2 (Grammars and Other Rewriting Systems)
F.4.3 (Formal Languages)
G.2.1 (Discrete Mathematics Combinatorics)
G.2.2 (Discrete Mathematics Graph Theory)
|
|---|
| Keywords | Wortgleichungen; Gleichungssystem; Gruppe; hyperbolisch |
|---|
| Abstract | Meine Diplomarbeit beschreibt kanonische Repräsentationen von Elementen einer torsionsfreien hyperbolischen Gruppe, welche dann dazu verwendet werden um Gleichungssysteme in dieser Gruppe auf Gleichungssysteme in einer freien Gruppe zu reduzieren. Als Ergebnis erhält man ein Verfahren in PSPACE, mit dem man entscheiden kann, ob ein Gleichungssystem in einer torsionsfreien hyperbolischen Gruppe eine Lösung besitzt.
|
|---|
Full text and
other links | PDF (595096 Bytes)
PostScript (628541 Bytes)
Access to students' publications restricted to the faculty due to current privacy regulations |
|---|
| Contact | E-Mail an mkufleitner@web.de |
|---|
| Department(s) | University of Stuttgart, Institute of Computer Science, Theoretical Computer Science
|
|---|
| Entry date | July 25, 2001 |
|---|