Events for 04/15/2022 from all calendars

Geometry Seminar

Time: 3:00PM - 3:50PM

Location: BLOC 302

Speaker: Taylor Brysiewicz, University of Notre Dame

Title: Proving theorems using numerical algebraic geometry

Abstract: In numerical algebraic geometry, one studies solution sets to polynomial systems by computing numerical approximations of points on them. Although very fast, these techniques produce inexact floating point output. Nonetheless, through symbolic certification methods, one may extract some rigorous conclusions from this kind of computation.

After providing background on numerical algebraic geometry and certification, I will illustrate how I have used these tools in my research to prove theorems. I will focus on joint work with Mario Kummer and Khazhgali Kozhasov on classifying three dimensional quintic spectrahedra.