Real solving and certification

Series
Algebra Seminar
Time
Tuesday, April 3, 2012 - 2:00pm for 1 hour (actually 50 minutes)
Location
Skiles 006
Speaker
Jonathan Hauenstein – Texas A&M
Organizer
Anton Leykin
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.