{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:36:22Z","timestamp":1775054182107,"version":"3.50.1"},"reference-count":23,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,7,1]],"date-time":"2008-07-01T00:00:00Z","timestamp":1214870400000},"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":[[2008,7]]},"DOI":"10.1134\/s0361768808040026","type":"journal-article","created":{"date-parts":[[2008,7,19]],"date-time":"2008-07-19T10:28:06Z","timestamp":1216463286000},"page":"191-203","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Involutive method for computing Gr\u00f6bner bases over $$\n\\mathbb{F}_2 \n$$"],"prefix":"10.1134","volume":"34","author":[{"given":"V. P.","family":"Gerdt","sequence":"first","affiliation":[]},{"given":"M. V.","family":"Zinin","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2008,7,20]]},"reference":[{"key":"4002_CR1","volume-title":"Algorithm for Finding a Basis for the Residue Class Ring of Zero-Dimensional Polynomial Ideal","author":"B. Buchberger","year":"1965","unstructured":"Buchberger, B., Algorithm for Finding a Basis for the Residue Class Ring of Zero-Dimensional Polynomial Ideal, PhD Dissertation, Innsbruck, Univ. of Innsbruck, Inst. for Mathematics, 1965 (in German)."},{"key":"4002_CR2","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Recent Trends in Multidimensional System Theory","author":"B. Buchberger","year":"1985","unstructured":"Buchberger, B., Gr\u00f6bner Bases: An Algorithmic Method in Polynomial Ideal Theory, Recent Trends in Multidimensional System Theory, Bose, N.K., Ed., Dordrecht: Reidel, 1985, pp. 184\u2013232."},{"key":"4002_CR3","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1016\/S0378-4754(97)00127-4","volume":"45","author":"V.P. Gerdt","year":"1998","unstructured":"Gerdt, V.P. and Blinkov, Yu.A., Involutive Bases of Polynomial Ideals, Math. Comput. Simulation, 1998, vol. 45, pp. 519\u2013542. arXiv:math.AC\/9912027; Minimal Involutive Bases. Math. Comput. Simulation, pp. 543\u2013560. arXiv:math.AC\/9912029.","journal-title":"Math. Comput. Simulation"},{"key":"4002_CR4","first-page":"199","volume-title":"Computational Commutative and Non-Commutative Algebraic Geometry","author":"V.P. 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."},{"issue":"s.1\u20133","key":"4002_CR5","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), Pure Applied Algebra, 1999, vol. 139, nos. 1\u20133, pp. 61\u201368.","journal-title":"Pure Applied Algebra"},{"key":"4002_CR6","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/780506.780516","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."},{"key":"4002_CR7","unstructured":"Seiler, W.M., Involution\u2014The Formal Theory of Differential Equations and Its Applications in Computer Algebra and Numerical Analysis, Habilitation Thesis, Dept. of Mathematics, University of Manheim, 2002."},{"key":"4002_CR8","first-page":"115","volume-title":"Computer Algebra in Scientific Computing (CASC\u201999)","author":"V.P. Gerdt","year":"1999","unstructured":"Gerdt, V.P., Completion of Linear Differential Systems to Involution, Computer Algebra in Scientific Computing (CASC\u201999), Ganzha, V.G., Mayr, E.W., and Vorozhtsov, E.V., Eds., Berlin: Springer, 1999, pp. 115\u2013137."},{"key":"4002_CR9","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Blinkov, Yu.A., and Mozzhilkin, V.V., Gr\u00f6bner Bases and Generation of Difference Schemes for Partial Differential Equations, Symmetry, Integrability and Geometry: Methods and Applications (SIGMA), 2006, vol. 2, paper 051, arXiv:math.RA\/0605334.","DOI":"10.3842\/SIGMA.2006.051"},{"key":"4002_CR10","unstructured":"Gerdt, V.P., Kragler, R., and Prokopenya, A.N., A Mathematica Package for Construction of Circuit Matrices in Quantum Computation. Computer Algebra and Differential Equations (CADE 2007), Proc. of Int. Workshop, Turku, Finland, 2007. To appear."},{"key":"4002_CR11","unstructured":"Levy-dit-Vehel, F. and Perret, L.L., Polynomial Equivalence Problems and Applications to Multivariate Crypto-systems, Report no. 5119, INRIA, 2004, http:\/\/www.inria.fr\/rrrt\/rr-5119.html."},{"key":"4002_CR12","unstructured":"Faug\u00e8re, J.C., Algebraic Cryptanalysis of HFE Using Gr\u00f6bner Bases, INRIA Report RR-4738, 2003, http:\/\/www.inria.fr\/rrrt\/rr-4738.html."},{"key":"4002_CR13","first-page":"44","volume":"2729","author":"J.C. Faug\u00e8re","year":"2003","unstructured":"Faug\u00e8re, J.C. and Joux, A., Algebraic Cryptanalysis of Hidden Field Equations (HFE) Using Gr\u00f6bner Bases, LNCS, Springer, 2003, vol. 2729, pp. 44\u201360.","journal-title":"LNCS"},{"key":"4002_CR14","unstructured":"Apel, J. and Hemmecke, R., Detecting Unnecessary Reductions in an Involutive Basis Computation, RISC Linz Report Series 02-22, 2002."},{"key":"4002_CR15","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P., Yanovich, D.A., and Blinkov, Yu.A., Fast Search for the Janet Divisor, Programmirovanie, 2001, no. 1, pp. 32\u201336 [Programming Comput. Software (Engl. Transl.), 2001, vol. 27, no. 1, pp. 22\u201324].","DOI":"10.1023\/A:1007130618376"},{"key":"4002_CR16","unstructured":"http:\/\/invo.jinr.ru\/."},{"key":"4002_CR17","unstructured":"http:\/\/cocoa.dima.unige.it\/."},{"key":"4002_CR18","unstructured":"Greuel, G.-M., Pfister, G., and Sch\u00f6nemann, H., Singular 3.0. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern, 2005, http:\/\/www.singular.unikl.de."},{"key":"4002_CR19","unstructured":"http:\/\/fgbrs.lip6.fr\/salsa\/Software\/."},{"key":"4002_CR20","unstructured":"http:\/\/www.-sop.inria.fr\/saga\/POL; http:\/\/www.math.uic.edu\/:_jan\/demo.html."},{"key":"4002_CR21","first-page":"272","volume":"3718","author":"V.V. Kornyak","year":"2005","unstructured":"Kornyak, V.V., On Compatibility of Discrete Relations, LNCS, Springer, 2005, vol. 3718, pp. 272\u2013284, arXiv:math-ph\/0504048.","journal-title":"LNCS"},{"key":"4002_CR22","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P. and Yanovich, D.A., Effectiveness of Involutive Criteria in Computation of Polynomial Janet Bases, Programmirovanie, 2006, no. 3, pp. 17\u201321 [Programming Comput. Software (Engl. Transl.), 2006, vol. 32, no. 3, pp. 134\u2013138].","DOI":"10.1134\/S0361768806030030"},{"key":"4002_CR23","doi-asserted-by":"crossref","unstructured":"Gerdt, V.P. and Blinkov, Yu.A., On Selection of Nonmultiplicative Prolongations in Computation of Janet Bases, Programmirovanie, 2007, no. 2, pp. 34\u201343 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 3, pp. 147\u2013153].","DOI":"10.1134\/S0361768807030048"}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768808040026.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768808040026","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768808040026","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768808040026.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:02:01Z","timestamp":1775008921000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768808040026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2008,7]]}},"alternative-id":["4002"],"URL":"https:\/\/doi.org\/10.1134\/s0361768808040026","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,7]]},"assertion":[{"value":"31 May 2007","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 July 2008","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}