Complete numerical isolation of real roots in zero-dimensional triangular systems
scientific article; zbMATH DE number 5566486