Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem | Publicación