TY - RPRT TI - Involutive Bases Algorithm Incorporating F5 Criterion AU - Vladimir P. Gerdt AU - Amir Hashemi AU - Benyamin M. -Alizadeh PY - 2013 UR - https://arxiv.org/abs/1306.6811 ID - 1306.6811 ER -