Tuesday, April 3, 2012 - 14:00
1 hour (actually 50 minutes)
In many applications in engineering and physics, one is interested in computing real solutions to systems of equations. This talk will explore numerical approaches for approximating solutions to systems of polynomial and polynomial-exponential equations. We will then discuss using certification methods based on Smale's alpha-theory to rigorously determine if the corresponding solutions are real. Examples from kinematics, electrical engineering, and string theory will be used to demonstrate the ideas.