{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:54Z","timestamp":1760061534309},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,6,14]],"date-time":"2012-06-14T00:00:00Z","timestamp":1339632000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1007\/s11424-012-0168-4","type":"journal-article","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T12:53:00Z","timestamp":1340023980000},"page":"778-791","source":"Crossref","is-referenced-by-count":7,"title":["Parametric equation solving and quantifier elimination in finite fields with the characteristic set method"],"prefix":"10.1007","volume":"25","author":[{"given":"Zhenyu","family":"Huang","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,14]]},"reference":[{"key":"168_CR1","first-page":"1","volume-title":"Computer Mathematics, Proc. of ASCM 2000","author":"D. Larzard","year":"2000","unstructured":"D. Larzard, Resolution of polynomial systems, X. S. Gao, D. Wang, eds. Computer Mathematics, Proc. of ASCM 2000, 1\u20138. World Scientific, Singapore, 2000."},{"issue":"1","key":"168_CR2","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1016\/S0747-7171(86)80014-1","volume":"2","author":"W. Boege","year":"1986","unstructured":"W. Boege, R. Gebauer, and H. Kredel, Some examples for solving systems of algebraic equations by calculating Gr\u00f6bner Bases, Journal of Symbolic Computation, 1986, 2(1): 83\u201398.","journal-title":"Journal of Symbolic Computation"},{"issue":"8","key":"168_CR3","doi-asserted-by":"crossref","first-page":"930","DOI":"10.1109\/TPAMI.2003.1217599","volume":"25","author":"X. S. Gao","year":"2003","unstructured":"X. S. Gao, X. Hou, J. Tang, and H. Cheng, Complete solution classification for the perspective-three-point problem, IEEE Tran. on PAMI, 2003, 25(8): 930\u2013943.","journal-title":"IEEE Tran. on PAMI"},{"key":"168_CR4","doi-asserted-by":"crossref","unstructured":"X. S. Gao and S. C. Cho, Solving parametric algebraic systems, Proc. ISSAC\u201992, 1992: 335\u2013341.","DOI":"10.1145\/143242.143348"},{"key":"168_CR5","series-title":"Lecture Notes Series on Computing","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1142\/9789812704436_0011","volume-title":"Proc. of ASCM 2003","author":"X. S. Gao","year":"2003","unstructured":"X. S. Gao and D. K. Wang, Zero decomposition theorems for counting the number of solutions for parametric equation systems, Proc. of ASCM 2003, Lecture Notes Series on Computing, World Scientific, Singapore, 2003, 10: 129\u2013144."},{"key":"168_CR6","volume-title":"Principles, Practice of Constraint Programming","author":"D. Kapur","year":"1995","unstructured":"D. Kapur, An approach for solving systems of parametric polynomials equations, Principles, Practice of Constraint Programming, Saraswart, Van Hentenryck, MIT Press, 1995."},{"key":"168_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0166-218X(91)90113-B","volume":"33","author":"D. Lazard","year":"1991","unstructured":"D. Lazard, A new method for solving algebraic systems of positive dimension, Discrete Appl. Math., 1991, 33: 147\u2013160.","journal-title":"Discrete Appl. Math."},{"key":"168_CR8","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/S0747-7171(08)80104-6","volume":"13","author":"W. Y. Sit","year":"1992","unstructured":"W. Y. Sit, An algorithm for solving parametric linear systems, Journal of Symbolic Computation, 1992, 13: 353\u2013394.","journal-title":"Journal of Symbolic Computation"},{"key":"168_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0747-7171(92)90023-W","volume":"14","author":"V. Weispfenning","year":"1992","unstructured":"V. Weispfenning, Comprehensive Gr\u00f6bner bases, Journal of Symbolic Computation, 1992, 14: 1\u201329.","journal-title":"Journal of Symbolic Computation"},{"key":"168_CR10","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W. T. Wu","year":"1986","unstructured":"W. T. Wu, Basic principles of mechanical theorem-proving in elementary geometries, Journal Automated Reasoning, 1986, 2: 221\u2013252.","journal-title":"Journal Automated Reasoning"},{"key":"168_CR11","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1006\/jsco.1999.0269","volume":"25","author":"P. Aubry","year":"1999","unstructured":"P. Aubry, D. Lazard, and M. M. Maza, On the theory of triangular sets, Journal of Symbolic Computation, 1999, 25: 105\u2013124.","journal-title":"Journal of Symbolic Computation"},{"key":"168_CR12","first-page":"207","volume":"449","author":"S. C. Chou","year":"1990","unstructured":"S. C. Chou and X. S. Gao, Ritt-Wu\u2019s decomposition algorithm and geometry theorem proving, Proc. of CADE-10, Springer, LNAI, 1990, 449: 207\u2013220.","journal-title":"Proc. of CADE-10"},{"key":"168_CR13","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1006\/jsco.1993.1011","volume":"15","author":"M. Kalkbrener","year":"1993","unstructured":"M. Kalkbrener, A generalized Euclidean algorithm for computing triangular representations of algebraic varieties, Journal of Symbolic Computation, 1993, 15: 143\u2013167.","journal-title":"Journal of Symbolic Computation"},{"key":"168_CR14","first-page":"292","volume-title":"Proc. ISSAC\u201993","author":"D. Lin","year":"1993","unstructured":"D. Lin and Z. Liu, Some results on theorem proving in geometry over finite fields, Proc. ISSAC\u201993, 292\u2013300, ACM Press, New York, 1993."},{"key":"168_CR15","unstructured":"J. S. Coron and B. de Weger, ECRYPT: Hardness of the main computational problems used in cryptography, European Network of Excellence in Cryptology, 2007."},{"key":"168_CR16","doi-asserted-by":"crossref","unstructured":"R. Lidl and H. Niederreiter, Finite Fields, Cambridge University Press, 1997.","DOI":"10.1017\/CBO9780511525926"},{"issue":"6","key":"168_CR17","doi-asserted-by":"crossref","first-page":"655","DOI":"10.1016\/j.jsc.2011.12.025","volume":"47","author":"X. S. Gao","year":"2012","unstructured":"X. S. Gao and Z. Huang, Characteristic set algorithms for equation solving in finite fields, Journal of Symbolic Computation, 2012, 47(6): 655\u2013679.","journal-title":"Journal of Symbolic Computation"},{"key":"168_CR18","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/978-3-642-21969-6_5","volume":"6737","author":"Z. Huang","year":"2011","unstructured":"Z. Huang and D. Lin, Attacking bivium and trivium with the characteristic set method, progress in cryptology-africacrypt 2011, LNCS, 2011, 6737: 77\u201391.","journal-title":"Attacking bivium and trivium with the characteristic set method, progress in cryptology-africacrypt 2011"},{"issue":"2","key":"168_CR19","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s11424-008-9103-0","volume":"21","author":"F. Chai","year":"2008","unstructured":"F. Chai, X. S. Gao, and C. Yuan, A Characteristic set method for solving Boolean equations and applications in cryptanalysis of stream ciphers, Journal of Systems Science and Complexity, 2008, 21(2): 191\u2013208.","journal-title":"Journal of Systems Science and Complexity"},{"key":"168_CR20","unstructured":"N. Jacobson, Basic Algebra, vol. 1, W. H. Freeman and Company, 1974."}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-012-0168-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11424-012-0168-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-012-0168-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T02:34:30Z","timestamp":1561862070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11424-012-0168-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,14]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,8]]}},"alternative-id":["168"],"URL":"https:\/\/doi.org\/10.1007\/s11424-012-0168-4","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"value":"1009-6124","type":"print"},{"value":"1559-7067","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6,14]]}}}