Differential elimination with Dixon resultants
scientific article; zbMATH DE number 6081863