Fall 2014

Certifying Solutions to Overdetermined and Singular Polynomial Systems over Q

Tuesday, October 14th, 2014 4:35 pm5:00 pm

Add to Calendar


Calvin Lab Auditorium

This talk is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is not a continuous property. Our certification is based on hybrid symbolic-numeric methods. This is a joint work with Tulay Akoglu, Jonathan Hauenstein and Victor Pan.