Computer-gestützte Beweismethoden in der extremalen Graphentheorie
Dies ist eine Einführung in Turán-Dichten und Razborovs Methode der Flag Algebras sowie in das Programm Flagmatic
Autori
Viac o knihe
Die Diplomarbeit behandelt die Technik der Flag Algebras, die 2007 von Razborov entwickelt wurde und eine formale Modellierung in der extremalen Graphentheorie ermöglicht. Kapitel 2 führt in die Turán-Dichten und die Anwendung von Razborovs Methode ein, die auf semidefiniten Problemen basiert. Kapitel 3 stellt das Computerprogramm Flagmatic vor, das von Emil R. Vaughan entwickelt wurde, um exakte Schranken für Turán-Dichten zu berechnen. Abschließend werden in Kapitel 4 Anwendungsbeispiele präsentiert, die die Nützlichkeit von Flagmatic zur Unterstützung von Beweisführungen aufzeigen.
Nákup knihy
Computer-gestützte Beweismethoden in der extremalen Graphentheorie, Hannes Bauer
- Jazyk
- Rok vydania
- 2013
- product-detail.submit-box.info.binding
- (mäkká)
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Computer-gestützte Beweismethoden in der extremalen Graphentheorie
- Podtitul
- Dies ist eine Einführung in Turán-Dichten und Razborovs Methode der Flag Algebras sowie in das Programm Flagmatic
- Jazyk
- nemecky
- Autori
- Hannes Bauer
- Vydavateľ
- AV Akademikerverlag
- Rok vydania
- 2013
- Väzba
- mäkká
- Počet strán
- 76
- ISBN13
- 9783639456363
- Kategórie
- Matematika
- Anotácia
- Die Diplomarbeit behandelt die Technik der Flag Algebras, die 2007 von Razborov entwickelt wurde und eine formale Modellierung in der extremalen Graphentheorie ermöglicht. Kapitel 2 führt in die Turán-Dichten und die Anwendung von Razborovs Methode ein, die auf semidefiniten Problemen basiert. Kapitel 3 stellt das Computerprogramm Flagmatic vor, das von Emil R. Vaughan entwickelt wurde, um exakte Schranken für Turán-Dichten zu berechnen. Abschließend werden in Kapitel 4 Anwendungsbeispiele präsentiert, die die Nützlichkeit von Flagmatic zur Unterstützung von Beweisführungen aufzeigen.