### Real solving and certification

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