1 paper · 1 filter
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…