{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:09:28Z","timestamp":1775016568349,"version":"3.50.1"},"reference-count":20,"publisher":"Pleiades Publishing Ltd","issue":"2","license":[{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T00:00:00Z","timestamp":1362096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2013,3]]},"DOI":"10.1134\/s0361768813020047","type":"journal-article","created":{"date-parts":[[2013,3,26]],"date-time":"2013-03-26T04:09:03Z","timestamp":1364270943000},"page":"81-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On the use of Buchberger criteria in G2V algorithm for calculating Gr\u00f6bner bases"],"prefix":"10.1134","volume":"39","author":[{"given":"Vladimir P.","family":"Gerdt","sequence":"first","affiliation":[]},{"given":"Amir","family":"Hashemi","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2013,3,27]]},"reference":[{"key":"6171_CR1","volume-title":"Ein Algorithms zum Auffinden der Basiselemente des Restklassenrings nach einem nuildimensionalen Polynomideal","author":"B Buchberger","year":"1965","unstructured":"Buchberger, B., Ein Algorithms zum Auffinden der Basiselemente des Restklassenrings nach einem nuildimensionalen Polynomideal, PhD Dissertation, Innsbruck, Univ. of Innsbruck, 1965."},{"key":"6171_CR2","first-page":"3","volume-title":"Lect. Notes Comput. Sci.","author":"B Buchberger","year":"1979","unstructured":"Buchberger, B., A Criterion for Detecting Unnecessary Reductions in the Construction of Gr\u00f6bner Bases, Lect. Notes Comput. Sci., Berlin: Springer, 1979, vol. 72, pp. 3\u201321."},{"key":"6171_CR3","volume-title":"London Math. Society Lecture Note Series","author":"B Buchberger","year":"1998","unstructured":"Buchberger, B. and Winkler, F., Gr\u00f6bner Bases and Applications, London Math. Society Lecture Note Series, 1998, vol. 251, Cambridge: Cambridge University Press."},{"key":"6171_CR4","first-page":"146","volume-title":"Lect. Notes Comput. Sci.","author":"D Lazard","year":"1983","unstructured":"Lazard, D., Gr\u00f6bner Bases, Gaussian Elimination and Resolution of Systems of Algebraic Equations, Lect. Notes Comput. Sci., Berlin: Springer, 1983, vol., 162, pp. 146\u2013156."},{"issue":"s.2\u20133","key":"6171_CR5","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/S0747-7171(88)80048-8","volume":"6","author":"R Gebauer","year":"1988","unstructured":"Gebauer, R. and M\u00f6ller, H., On an Installation of Buchberger\u2019s Algorithm, J. Symb. Comput., 1988, vol. 6, nos. 2\u20133, pp. 275\u2013286.","journal-title":"J. Symb. Comput."},{"issue":"s.1\u20133","key":"6171_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J-C Faug\u00e8re","year":"1999","unstructured":"Faug\u00e8re, J.-C., A New Efficient Algorithm for Computing Gr\u00f6bner Bases (F\n                  4), J. Pure Applied Algebra, 1999, vol. 139, nos. 1\u20133, pp. 61\u201368.","journal-title":"J. Pure Applied Algebra"},{"key":"6171_CR7","first-page":"75","volume-title":"Proc. of ISSAC 2002","author":"J-C Faug\u00e8re","year":"2002","unstructured":"Faug\u00e8re, J.-C., A New Efficient Algorithm for Computing Gr\u00f6bner Bases without Reduction to Zero (F\n                  5), Proc. of ISSAC 2002, New York: ACM, 2002, pp. 75\u201383."},{"issue":"12","key":"6171_CR8","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1016\/j.jsc.2010.06.013","volume":"45","author":"G Ars","year":"2010","unstructured":"Ars, G. and Hashemi, A. Extended F5 Criteria, J. Symb. Comput., 2010, vol. 45, no. 12, pp. 1330\u20131340.","journal-title":"J. Symb. Comput."},{"issue":"12","key":"6171_CR9","doi-asserted-by":"publisher","first-page":"1442","DOI":"10.1016\/j.jsc.2010.06.019","volume":"45","author":"C Eder","year":"2010","unstructured":"Eder, C. and Perry, J., F5C: A Variant of Faug\u00e8re\u2019s F5 Algorithm with Reduced Gr\u00f6bner Bases, J. Symb. Comput., 2010, vol. 45, no. 12, pp. 1442\u20131458.","journal-title":"J. Symb. Comput."},{"key":"6171_CR10","first-page":"13","volume-title":"Proc. of ISSAC\u201910","author":"S Gao","year":"2010","unstructured":"Gao, S., Guan, Y., and Volny, F. IV, A New Incremental Algorithm for Computing Gr\u00f6bner Bases, Proc. of ISSAC\u201910, 2010, ACM, pp. 13\u201319."},{"key":"6171_CR11","volume-title":"Preprint","author":"S Gao","year":"2011","unstructured":"Gao, S., Volny, F. IV, and Guan, Y., A New Algorithm for Computing Gr\u00f6bner Bases, Preprint, 2011. http:\/\/www.math.clemson.edu\/~sgao\/pub.html."},{"key":"6171_CR12","volume-title":"Applications des bases de Gr\u00f6bner \u00e0 la cryptographie","author":"G Ars","year":"2004","unstructured":"Ars, G., Applications des bases de Gr\u00f6bner \u00e0 la cryptographie, PhD Dissertation, Rennes: Universite \u2014 de Rennes, 2004."},{"key":"6171_CR13","volume-title":"On Efficient Computation of Gr\u00f6bner Bases","author":"GM Gash","year":"2008","unstructured":"Gash, G.M., On Efficient Computation of Gr\u00f6bner Bases, PhD Dissertation, Indiana University, 2008. http:\/\/gradworks.umi.com\/3330795.pdf"},{"key":"6171_CR14","volume-title":"Graduate Texts in Mathematics","author":"T Becker","year":"1993","unstructured":"Becker, T. and Weispfenning, V., Gr\u00f6bner Bases. A Computational Approach to Commutative Algebra, Graduate Texts in Mathematics, vol. 141, New York: Springer, 1993."},{"key":"6171_CR15","first-page":"99","volume-title":"Proc. of ISSAC\u201911","author":"C Eder","year":"2011","unstructured":"Eder, C. and Perry, J., Signature-based Algorithms to Compute Gr\u00f6bner Bases, Proc. of ISSAC\u201911, 2011, ACM, pp. 99\u2013106."},{"key":"6171_CR16","doi-asserted-by":"crossref","unstructured":"Mora, T., Solving Polynomial Equation Systems II: Macaulay\u2019s Paradigm and Gr\u00f6bner Technology, Encyclopedia of Mathematics and Its Applications, vol. 99, Cambridge University Press, 2005.","DOI":"10.1017\/CBO9781107340954"},{"issue":"35","key":"6171_CR17","doi-asserted-by":"publisher","first-page":"4592","DOI":"10.1016\/j.tcs.2011.04.040","volume":"412","author":"A Hashemi","year":"2011","unstructured":"Hashemi, A. and Alizadeh, B.M., Applying IsRewritten Criterion on Buchberger Algorithm, Theor. Comput. Sci., 2011, vol. 412, no. 35, pp. 4592\u20134603.","journal-title":"Theor. Comput. Sci."},{"key":"6171_CR18","volume-title":"A New Conception for Computing Gr\u00f6bner Basis and Its Applications","author":"L Huang","year":"2010","unstructured":"Huang, L., A New Conception for Computing Gr\u00f6bner Basis and Its Applications, 2010. arXiv:math.SC\/1012.5424."},{"key":"6171_CR19","first-page":"199","volume-title":"Computational Commutative and Non-Commutative Algebraic Geometry","author":"VP Gerdt","year":"2005","unstructured":"Gerdt, V.P., Involutive Algorithms for Computing Gr\u00f6bner Bases, Computational Commutative and Non-Commutative Algebraic Geometry, Cojocaru, S., Pfister, G., and Ufnarovski, V., Eds., Amsterdam: IOS, 2005, pp. 199\u2013225. arXiv:math.AC\/0501111."},{"key":"6171_CR20","unstructured":"Bini, D. and Mourrain, B., Polynomial Test Suite. http:\/\/www-sop.inria.fr\/saga\/POL\/"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813020047.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768813020047","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813020047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768813020047.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:38:30Z","timestamp":1775011110000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768813020047"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3]]},"references-count":20,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,3]]}},"alternative-id":["6171"],"URL":"https:\/\/doi.org\/10.1134\/s0361768813020047","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3]]},"assertion":[{"value":"4 August 2012","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 March 2013","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}