Real solving and certification

Algebra Seminar
Tuesday, April 3, 2012 - 14:00
1 hour (actually 50 minutes)
Skiles 006
Texas A&M
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.