Amir Hashemi and Gwenole Ars
"Extended F5 Criteria"
Effective Methods in Algebraic Geometry (MEGA'2009), Barcelona, Spain, 2009.
Journal of Symbolic Computation, Volume 45, Issue 12, pages 1330--1340, 2010
تحت نظارت وف ایرانی
