TY - RPRT TI - New Strategies for Standard Bases over Z AU - Christian Eder AU - Gerhard Pfister AU - Adrian Popescu PY - 2016 UR - https://arxiv.org/abs/1609.04257 ID - 1609.04257 ER -