Yosuke Kurata, Masayuki Noro. Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation. In Dongming Wang, editor, Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings. pages 243-250, ACM, 2007. [doi]
Abstract is missing.