Diploma Thesis DIP-1922

BibliographyKufleitner, Manfred: Wortgleichungen in hyperbolischen Gruppen.
University of Stuttgart, Faculty of Computer Science, Diploma Thesis No. 1922 (2001).
57 pages, german.
CR-SchemaF.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)
KeywordsWortgleichungen; 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
ContactE-Mail an mkufleitner@web.de
Department(s)University of Stuttgart, Institute of Computer Science, Theoretical Computer Science
Entry dateJuly 25, 2001
   Publ. Computer Science