TY - RPRT TI - The Termination of Algorithms for Computing Gröbner Bases AU - Senshan Pan AU - Yupu Hu AU - BaoCang Wang PY - 2012 UR - https://arxiv.org/abs/1202.3524 ID - 1202.3524 ER -