Computing constraint sets for differential fields
scientific article; zbMATH DE number 6335290
scientific article