TY - RPRT TI - Predicting zero reductions in Gröbner basis computations AU - Christian Eder PY - 2014 UR - https://arxiv.org/abs/1404.0161 ID - 1404.0161 ER -