Bibliograph.
Daten | Kufleitner, Manfred: Wortgleichungen in hyperbolischen Gruppen.
Universität Stuttgart, Fakultät Informatik, Diplomarbeit Nr. 1922 (2001).
57 Seiten, deutsch.
|
|---|
| CR-Klassif. | 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 |
|---|
| Kurzfassung | 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.
|
|---|
Volltext und
andere Links | PDF (595096 Bytes)
PostScript (628541 Bytes)
Zugriff auf studentische Arbeiten aufgrund vorherrschender Datenschutzbestimmungen nur innerhalb der Fakultät möglich |
|---|
| Kontakt | E-Mail an mkufleitner@web.de |
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Informatik, Theoretische Informatik
|
|---|
| Eingabedatum | 25. Juli 2001 |
|---|