On the use of Buchberger criteria in G2V algorithm for calculating Grobner bases كاربرد محكهاي بوخبرگر در الگوريتم G2V براي محاسبه ي پايه هاي گربنر doi # 2013-04 Article type Journal