Seminar: Formal Proofs for Nonlinear Optimization
Title: Formal Proofs for Nonlinear OptimizationSpeaker: Dr. Victor MagronAffiliation: Department of Electrical and Electronic Engineering - Imperial College LondonLocation: Room 217 Huxley BuildingTime: 2:00pmAbstract. We present a formally verified global optimization framework. Given a semialgebraic or transcendental function f and a compact semialgebraic domain K, we use the nonlinear maxplus template approximation algorithm to provide... Read more »