{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T02:00:06Z","timestamp":1760061606964},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,8,29]],"date-time":"2015-08-29T00:00:00Z","timestamp":1440806400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s11424-015-4085-1","type":"journal-article","created":{"date-parts":[[2015,8,29]],"date-time":"2015-08-29T15:41:18Z","timestamp":1440862878000},"page":"789-804","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["On implementing the symbolic preprocessing function over Boolean polynomial rings in Gr\u00f6bner basis algorithms using linear algebra"],"prefix":"10.1007","volume":"29","author":[{"given":"Yao","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenyu","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongdai","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dingkang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,29]]},"reference":[{"key":"4085_CR1","volume-title":"Ein algorithmus zum auffinden der basiselemente des restklassenringes nach einem nulldimensionalen Polynomideal","author":"B Buchberger","year":"1965","unstructured":"Buchberger B, Ein algorithmus zum auffinden der basiselemente des restklassenringes nach einem nulldimensionalen Polynomideal, PhD thesis, 1965."},{"key":"4085_CR2","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-12868-9_99","volume":"162","author":"D Lazard","year":"1983","unstructured":"Lazard D, Gr\u00f6bner bases, Gaussian elimination and resolution of systems of algebraic equations, Proc. EUROCAL\u201983, Lect. Notes in Comp. Sci., 1983, 162: 146\u2013156.","journal-title":"Proc. EUROCAL\u201983, Lect. Notes in Comp. Sci."},{"issue":"1\u20133","key":"4085_CR3","doi-asserted-by":"crossref","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 effcient algorithm for computing Gr\u00f6bner bases (F 4), J. Pure Appl. Algebra, 1999, 139(1\u20133): 61\u201388.","journal-title":"J. Pure Appl. Algebra"},{"key":"4085_CR4","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/3-540-45539-6_27","volume":"1807","author":"N Courtois","year":"2000","unstructured":"Courtois N, Klimov A, Patarin J, and Shamir A, Efficient algorithms for solving overdefined systems of multivariate polynomial equations, Proc. of EUROCRYPT\u201900, Lect. Notes in Comp. Sci., 2000, 1807: 392\u2013407.","journal-title":"Proc. of EUROCRYPT\u201900, Lect. Notes in Comp. Sci."},{"key":"4085_CR5","first-page":"16","volume-title":"Proc. SCC\u201908","author":"J Ding","year":"2008","unstructured":"Ding J, Buchmann J, Mohamed M S E, Mohamed W S A E, and Weinmann R P, Mutant XL, Proc. SCC\u201908, 2008, 16\u201322."},{"key":"4085_CR6","first-page":"75","volume-title":"Proc. ISSAC\u201902","author":"J C Faug\u00e8re","year":"2002","unstructured":"Faug\u00e8re J C, A new effcient algorithm for computing Gr\u00f6bner bases without reduction to zero (F 5), Proc. ISSAC\u201902, ACM Press, 2002, 75\u201382, Revised version downloaded from fgbrs.lip6.fr\/jcf\/Publications\/index.html."},{"key":"4085_CR7","volume-title":"F4\/5, Preprint","author":"M Albrecht","year":"2010","unstructured":"Albrecht M and Perry J, F4\/5, Preprint, arXiv:1006.4933v2 [math.AC], 2010."},{"key":"4085_CR8","first-page":"151","volume-title":"Proc. ISSAC\u201909","author":"J C Faug\u00e8re","year":"2009","unstructured":"Faug\u00e8re J C and Rahmany S, Solving systems of polynomial equations with symmetries using SAGBI-Gr\u00f6bner bases, Proc. ISSAC\u201909, ACM Press, New York, USA, 2009, 151\u2013158."},{"key":"4085_CR9","volume-title":"Cryptology ePrint Archive","author":"S H Gao","year":"2010","unstructured":"Gao S H, Volny F, and Wang M S, A new algorithm for computing Gr\u00f6bner bases, Cryptology ePrint Archive, Report 2010\/641, 2010."},{"key":"4085_CR10","volume-title":"An improvement over the GVW algorithm for inhomogeneous polynomial systems","author":"Y Sun","year":"2014","unstructured":"Sun Y, Lin D D, and Wang D K, An improvement over the GVW algorithm for inhomogeneous polynomial systems, Preprint arXiv:1404.1428, 2014."},{"key":"4085_CR11","first-page":"44","volume":"2729","author":"J C Faug\u00e8re","year":"2003","unstructured":"Faug\u00e8re J C and Joux A, Algebraci cryptanalysis of Hidden Field Equation (HFE) cryptosystems using Gr\u00f6bner bases, Proc. Advances in Cryptology - CRYPTO 2003, LNCS, Springer Berlin\/Heidelberg, 2003, 2729: 44\u201360.","journal-title":"Proc. Advances in Cryptology - CRYPTO"},{"key":"4085_CR12","volume-title":"An implementation of Faug\u00e8re\u2019s F4 algorithm for computing Gr\u00f6bner bases","author":"D Cabarcas","year":"2010","unstructured":"Cabarcas D, An implementation of Faug\u00e8re\u2019s F4 algorithm for computing Gr\u00f6bner bases, Thesis, 2010."},{"key":"4085_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84800-070-4","volume-title":"The Algorithm Design Manual","author":"S S Skiena","year":"2008","unstructured":"Skiena S S, The Algorithm Design Manual, Second Edition, Springer, 2008."},{"key":"4085_CR14","first-page":"89","volume-title":"Proc. PASCO 2010","author":"J C Faug\u00e8re","year":"2010","unstructured":"Faug\u00e8re J C and Lachartre S, Parallel Gaussian elimination for Gr\u00f6bner bases computations in finite fields, Proc. PASCO 2010, ACM Press, 2010, 89\u201397."},{"key":"4085_CR15","volume-title":"The M4RI Library \u2014 Version 20130416","author":"M Albrecht","year":"2013","unstructured":"Albrecht M and Bard G, The M4RI Library \u2014 Version 20130416, 2013, http:\/\/m4ri.sagemath.org."},{"key":"4085_CR16","volume-title":"Benchmarking algebraic, logical and constraint solvers and study of selected hard problems","author":"N Courtois","year":"2013","unstructured":"Courtois N, Benchmarking algebraic, logical and constraint solvers and study of selected hard problems, 2013, http:\/\/www.cryptosystem.net\/aes\/hardproblems.html."},{"key":"4085_CR17","volume-title":"Allan Steel\u2019s Gr\u00f6bner basis timings page","author":"A Steel","year":"2004","unstructured":"Steel A, Allan Steel\u2019s Gr\u00f6bner basis timings page, 2004, http:\/\/magma.maths.usyd.edu.au\/ allan\/ gb\/."},{"issue":"4","key":"4085_CR18","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1007\/s11424-013-2130-5","volume":"26","author":"D Li","year":"2013","unstructured":"Li D, Liu J, Liu W, and Zheng L, GVW algorithm over principal ideal domains, Journal of Systems Science and Complexity, 2013, 26(4): 619\u2013633.","journal-title":"Journal of Systems Science and Complexity"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-015-4085-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-015-4085-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-015-4085-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T14:54:10Z","timestamp":1559400850000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-015-4085-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,29]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["4085"],"URL":"https:\/\/doi.org\/10.1007\/s11424-015-4085-1","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,29]]}}}