Univariate real root isolation in an extension field and applications
scientific article; zbMATH DE number 6997074
scientific article