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
Autoři
Více o knize
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 vydání
- 2013
- product-detail.submit-box.info.binding
- (měkká)
Doručení
Platební metody
Navrhnout úpravu
- 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
- německy
- Autoři
- Hannes Bauer
- Vydavatel
- AV Akademikerverlag
- Rok vydání
- 2013
- Vazba
- měkká
- Počet stran
- 76
- ISBN13
- 9783639456363
- Kategorie
- Matematika
- Anotace
- 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.