Zusammenfassung
Der Beweis der Kepler-Vermutung ist im Wesentlichen ein Optimierungsproblem. Tom Hales hat den Beweis auf die Optimierung der Bewertung von Delaunay-Sternen reduziert. Die Keplerschen Konfigurationen haben eine Bewertung von 8 pts und Tom zeigte, daß kein Stern eine höhere Bewertung haben kann. Seine Aufgabe bestand zunächst darin, die maximale Bewertung aller möglichen Sterne zu finden und anschließend zu zeigen, daß diese maximale Bewertung unter 8 pts liegt. Eine Hürde war die Auflistung aller möglichen Delaunay-Sterne1. Ein anderes Hindernis war die Maximierung der Bewertungen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Szpiro, G.G. (2011). Simplex, Cplex und Symbolische Mathematik. In: Die Keplersche Vermutung. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12741-0_12
Download citation
DOI: https://doi.org/10.1007/978-3-642-12741-0_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12740-3
Online ISBN: 978-3-642-12741-0
eBook Packages: Life Science and Basic Disciplines (German Language)