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
Autoren
Mehr zum Buch
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.
Buchkauf
Computer-gestützte Beweismethoden in der extremalen Graphentheorie, Hannes Bauer
- Sprache
- Erscheinungsdatum
- 2013
- product-detail.submit-box.info.binding
- (Paperback)
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Computer-gestützte Beweismethoden in der extremalen Graphentheorie
- Untertitel
- Dies ist eine Einführung in Turán-Dichten und Razborovs Methode der Flag Algebras sowie in das Programm Flagmatic
- Sprache
- Deutsch
- Autor*innen
- Hannes Bauer
- Verlag
- AV Akademikerverlag
- Erscheinungsdatum
- 2013
- Einband
- Paperback
- Seitenzahl
- 76
- ISBN13
- 9783639456363
- Kategorie
- Mathematik
- Beschreibung
- 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.