29 citations · 41 across the 7 of their papers we have counts for
1 paper · 2 filters
Deepak Kapur, Yiming Yang
An algorithm to generate a minimal comprehensive Gröbner\, basis of a parametric polynomial system from an arbitrary faithful comprehensive Gröbner\, system is presented. A basis o…