[ACM Press the 2007 international symposium - Waterloo, Ontario, Canada (2007.07.29-2007.08.01)] Proceedings of the 2007 international symposium on Symbolic and algebraic computation - ISSAC '07 - Computation of discrete comprehensive Gröbner bases using modular dynamic evaluation