Benutzer: Gast  Login
Originaltitel:
Formalizing Plane Graph Theory 
Originaluntertitel:
Towards a Formalized Proof of the Kepler Conjecture 
Übersetzter Titel:
Formalisierung der Theorie ebener Graphen 
Übersetzter Untertitel:
Ein Beitrag zur Formalisierung des Beweises der Keplerschen Vermutung 
Jahr:
2006 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Nipkow, Tobias (Prof. Ph.D.) 
Gutachter:
Richter-Gebert, Jürgen (Prof. Dr. Dr.) 
Format:
Text 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik; MAT Mathematik 
Stichworte:
Formal Verification; Plane graph theory; Kepler conjecture 
Übersetzte Stichworte:
Formale Verifikation; Theory ebener Graphen; Keplersche Vermutung 
Schlagworte (SWD):
Ebener Graph; Formaler Beweis; Automatisches Beweisverfahren 
TU-Systematik:
DAT 706d; MAT 055d; MAT 052d; MAT 036d 
Kurzfassung:
In 1998, Thomas Hales published a proof of the Kepler Conjecture, which states that the {\em cubic close packing} is the densest possible packing of equally-sized spheres. The proof is by exhaustion on a set of 3050 plane graphs satisfying certain properties, called {\em tame plane graphs}. The enumeration of this set has been generated by a computer program, hence the completeness of this enumeration is essential for the proof. In this thesis, we formalize a theory of plane graphs defined as an...    »
 
Übersetzte Kurzfassung:
Im Jahre 1998 veröffentlichte der Mathematiker Thomas Hales einen Beweis der auf Kepler zurückgehenden Vermutung, daß die kubisch dichte Kugelpackung (englisch {\em cubic close packing}) die dichteste Kugelpackung ist. Der Beweis beruht auf einer umfangreichen, durch ein Programm generierten Fallunterscheidung über ca. 3050 Fälle. Dabei wird jeder Fall durch einen ebenen Graphen mit bestimmten Eigenschaften, einem sogenannten {\em zahmen Graphen} repräsentiert. Wesentlich für den Beweis ist die...    »
 
Veröffentlichung:
Universitätsbibliothek der Technischen Universität München 
Mündliche Prüfung:
01.02.2006 
Dateigröße:
5397278 bytes 
Seiten:
188 
Letzte Änderung:
10.07.2007