{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:29:21Z","timestamp":1770276561385,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642214929","type":"print"},{"value":"9783642214936","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21493-6_9","type":"book-chapter","created":{"date-parts":[[2011,6,20]],"date-time":"2011-06-20T12:42:44Z","timestamp":1308573764000},"page":"140-157","source":"Crossref","is-referenced-by-count":9,"title":["Quantifier Elimination over Finite Fields Using Gr\u00f6bner\u00a0Bases"],"prefix":"10.1007","author":[{"given":"Sicun","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9","family":"Platzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Edmund M.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"The SAGE Computer Algebra system, http:\/\/sagemath.org"},{"key":"9_CR2","unstructured":"The Singular Computer Algebra system, http:\/\/www.singular.uni-kl.de\/"},{"key":"9_CR3","volume-title":"Gr\u00f6bner Bases","author":"T. Becker","year":"1998","unstructured":"Becker, T., Weispfenning, V.: Gr\u00f6bner Bases. Springer, Heidelberg (1998)"},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0006940","volume-title":"Algebraic Computing in Control","author":"M. Borgne Le","year":"1991","unstructured":"Le Borgne, M., Benveniste, A., Le Guernic, P.: Polynomial dynamical systems over finite fields. In: Algebraic Computing in Control, vol.\u00a0165. Springer, Heidelberg (1991)"},{"key":"9_CR5","unstructured":"Marchand, H., Le Borgne, M.: On the Optimal Control of Polynomial Dynamical Systems over Z\/pZ. In: 4th International Workshop on Discrete Event Systems, pp. 385\u2013390 (1998)"},{"issue":"3","key":"9_CR6","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1145\/1088216.1088219","volume":"10","author":"B. Buchberger","year":"1976","unstructured":"Buchberger, B.: A Theoretical Basis for the Reduction of Polynomials to Canonical Forms. ACM SIGSAM Bulletin\u00a010(3), 19\u201329 (1976)","journal-title":"ACM SIGSAM Bulletin"},{"key":"9_CR7","volume-title":"Ideals, Varieties, and Algorithms","author":"D. Cox","year":"1997","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Ideals, Varieties, and Algorithms. Springer, Heidelberg (1997)"},{"key":"9_CR8","volume-title":"Using Algebraic Geometry","author":"D. Cox","year":"2005","unstructured":"Cox, D., Little, J., O\u2019Shea, D.: Using Algebraic Geometry. Springer, Heidelberg (2005)"},{"key":"9_CR9","unstructured":"Gao, S.: Counting Zeroes over Finite Fields with Gr\u00f6bner Bases. Master Thesis, Carnegie Mellon University (2009)"},{"key":"9_CR10","unstructured":"Germundsson, R.: Basic results on ideals and varieties in Finite Fields. Technical Report LiTH-ISY-I-1259, Linkoping University, S-581 83 (1991)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Jarrah, A., Vastani, H., Duca, K., Laubenbacher, R.: An Optimal Control Problem for in vitro Virus Vompetition. In: 43rd IEEE Conference on Decision and Control (2004)","DOI":"10.1109\/CDC.2004.1428693"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1016\/j.aam.2006.08.004","volume":"39","author":"A.S. Jarrah","year":"2007","unstructured":"Jarrah, A.S., Laubenbacher, R., Stigler, B., Stillman, M.: Reverse-engineering of polynomial dynamical systems. Advances in Applied Mathematics\u00a039, 477\u2013489 (2007)","journal-title":"Advances in Applied Mathematics"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Lakshman, Y.N.: On the Complexity of Computing a Gr\u00f6bner Casis for the Radical of a Zero-dimensional Ideal. In: STOC 1990, New York, USA, pp. 555\u2013563 (1990)","DOI":"10.1145\/100216.100294"},{"key":"9_CR14","volume-title":"Algebra","author":"S. Lang","year":"2005","unstructured":"Lang, S.: Algebra, 3rd edn. Springer, Heidelberg (2005)","edition":"3"},{"key":"9_CR15","volume-title":"Model theory","author":"D. Marker","year":"2002","unstructured":"Marker, D.: Model theory. Springer, Heidelberg (2002)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Smith, E.W., Dill, D.L.: Automatic Formal Verification of Block Cipher Implementations. In: FMCAD, pp. 1\u20137 (2008)","DOI":"10.1109\/FMCAD.2008.ECP.10"},{"key":"9_CR17","unstructured":"Tran, Q.N.: Gr\u00f6bner Bases Computation in Boolean Rings is PSPACE. International Journal of Applied Mathematics and Computer Sciences 5(2) (2009)"}],"container-title":["Lecture Notes in Computer Science","Algebraic Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21493-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T02:03:53Z","timestamp":1560305033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21493-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214929","9783642214936"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21493-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}