Certified Hermite Matrices from Approximate Roots - Univariate Case
scientific article; zbMATH DE number 7441055