|
|
 |
|
Formal Methods Seminar by Roland Zumkeller |
|
Date: December 15, 2006
Time: 10:30am
Location: NIA, Rm 137
Additional Information: Presentation (PDF)
Some Techniques for Formal Global Optimisation
Roland Zumkeller, Ecole Polytechnique, France
Formal global optimisation is concerned with finding the minimum of a given function R^n -> R and prove it formally correct. We are going to present traditional methods, based on interval arithmetic, as well as more recent developments, such as Taylor models and the rewriting of a polynomial as a sum of squares via semi-definite programming. Our effort is part of the flyspeck project, whose aim is to develop a formal proof of the Kepler conjecture. Other applications include experimental physics and many fields of engineering.
|
|
|
Home