Mixed-volume computation by dynamic lifting applied to polynomial system solving
scientific article; zbMATH DE number 919857
scientific article