Computation of discrete comprehensive Grbner bases using modular dynamic evaluation.

Yosuke Kurata, Masayuki Noro

Browse the full ISSAC paper archive.