A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases
discovering geometric theorems mechanically
scientific article; zbMATH DE number 7032436
scientific article