A new algorithm for computing comprehensive Grbner systems.

Deepak Kapur, Yao Sun, Dingkang Wang

Browse the full ISSAC paper archive.