Computational Real Algebraic Geometry

Computing certicates in compact quadratic modules in $\mathbb{R}[x]$
Thesis Proposal Defense
Jose Abel Castellanos Joo
Sep 13, 2023
Slides