Root isolation for bivariate polynomial systems with local generic position method
scientific article; zbMATH DE number 6034126