An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Grbner Basis and the Associated Completion Algorithm.

Deepak Kapur, Yiming Yang

Browse the full ISSAC paper archive.