Il libro è attualmente esaurito

Maggiori informazioni sul libro
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.
Acquisto del libro
Computer-gestützte Beweismethoden in der extremalen Graphentheorie, Hannes Bauer
- Lingua
- Pubblicato
- 2013
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.