乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:39:14Z","timestamp":1730313554495,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,7,9]]},"DOI":"10.1145\/1145768.1145810","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"246-253","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Complexity of the resolution of parametric systems of polynomial equations and inequations"],"prefix":"10.1145","author":[{"given":"Guillaume","family":"Moroz","sequence":"first","affiliation":[{"name":"Laboratoire d'Informatique de l'Universit\u00e9 Pierre et Marie Curie-Paris 6, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2006,7,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073890"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/320211.320240"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/235809.235813"},{"key":"e_1_3_2_1_4_1","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner bases","author":"Becker T.","year":"1993","unstructured":"Becker , T. , and Weispfenning , V . Gr\u00f6bner bases , vol. 141 of Graduate Texts in Mathematics . Springer-Verlag , New York , 1993 .]] Becker, T., and Weispfenning, V. Gr\u00f6bner bases, vol. 141 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1993.]]"},{"volume-title":"May 06","year":"2002","author":"Bernasconi A.","key":"e_1_3_2_1_5_1","unstructured":"Bernasconi , A. , Mayr , E. W. , Raab , M. , and Mnuk , M . Computing the dimension of a polynomial ideal , May 06 2002 .]] Bernasconi, A., Mayr, E. W., Raab, M., and Mnuk, M. Computing the dimension of a polynomial ideal, May 06 2002.]]"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073897"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1307\/mmj\/1030132301","article-title":"A pure power product version of the Hilbert Nullstellensatz","volume":"45","author":"Brownawell W. D","year":"1998","unstructured":"Brownawell , W. D . A pure power product version of the Hilbert Nullstellensatz . Michigan Math. J. 45 , 3 ( 1998 ), 581--597.]] Brownawell, W. D. A pure power product version of the Hilbert Nullstellensatz. Michigan Math. J. 45, 3 (1998), 581--597.]]","journal-title":"Michigan Math. J."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088216.1088219"},{"volume-title":"Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition","year":"1975","author":"Collins G. E.","key":"e_1_3_2_1_9_1","unstructured":"Collins , G. E. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition . Springer Verlag , 1975 .]] Collins, G. E. Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition. Springer Verlag, 1975.]]"},{"key":"e_1_3_2_1_10_1","first-page":"31","volume-title":"Automated Deduction in Geometry","author":"Corvez S.","year":"2002","unstructured":"Corvez , S. , and Rouillier , F . Using computer algebra tools to classify serial manipulators . In Automated Deduction in Geometry ( 2002 ), pp. 31 -- 43 .]] Corvez, S., and Rouillier, F. Using computer algebra tools to classify serial manipulators. In Automated Deduction in Geometry (2002), pp. 31--43.]]"},{"volume-title":"Undergraduate Texts in Mathematics","year":"1992","author":"Cox D.","key":"e_1_3_2_1_11_1","unstructured":"Cox , D. , Little , J. , and O'Shea , D. Ideals , Varieties, and Algorithms . Undergraduate Texts in Mathematics . Springer Verlag , 1992 .]] Cox, D., Little, J., and O'Shea, D. Ideals, Varieties, and Algorithms. Undergraduate Texts in Mathematics. Springer Verlag, 1992.]]"},{"key":"e_1_3_2_1_12_1","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6911-1","volume-title":"Using algebraic geometry","author":"Cox D. A.","year":"1998","unstructured":"Cox , D. A. , Little , J. B. , and O'Shea , D. B. Using algebraic geometry , vol. 185 of Graduate Texts in Mathematics . Springer-Verlag , 1998 .]] Cox, D. A., Little, J. B., and O'Shea, D. B. Using algebraic geometry, vol. 185 of Graduate Texts in Mathematics. Springer-Verlag, 1998.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/780506.780516"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Comput","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-45146-4_3","volume-title":"Advances in cryptology-CRYPTO","author":"Faug\u00e8re J.-C.","year":"2003","unstructured":"Faug\u00e8re , J.-C. , and Joux , A . Algebraic cryptanalysis of hidden field equation (HFE) cryptosystems using Gr\u00f6bner bases . In Advances in cryptology-CRYPTO 2003 , vol. 2729 of Lecture Notes in Comput . Sci. Springer , Berlin, 2003, pp. 44 -- 60 .]] Faug\u00e8re, J.-C., and Joux, A. Algebraic cryptanalysis of hidden field equation (HFE) cryptosystems using Gr\u00f6bner bases. In Advances in cryptology-CRYPTO 2003, vol. 2729 of Lecture Notes in Comput. Sci. Springer, Berlin, 2003, pp. 44--60.]]"},{"key":"e_1_3_2_1_15_1","unstructured":"Fotiou I. A. Rostalski P. Parrilo P. A. and Morari M. Parametric optimization and optimal control using algebraic geometry methods. International Journal of Control (to appear).]] Fotiou I. A. Rostalski P. Parrilo P. A. and Morari M. Parametric optimization and optimal control using algebraic geometry methods. International Journal of Control (to appear).]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1700-8","volume-title":"Intersection theory","author":"Fulton W.","year":"1998","unstructured":"Fulton , W. Intersection theory , second ed., vol. 2 . Springer-Verlag , Berlin , 1998 .]] Fulton, W. Intersection theory, second ed., vol. 2. Springer-Verlag, Berlin, 1998.]]"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Comput","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BFb0032839","volume-title":"EUROSAM 84","author":"Giusti M.","year":"1984","unstructured":"Giusti , M. Some effectivity problems in polynomial ideal theory . In EUROSAM 84 , vol. 174 of Lecture Notes in Comput . Sci . 1984 , pp. 159 -- 171 .]] Giusti, M. Some effectivity problems in polynomial ideal theory. In EUROSAM 84, vol. 174 of Lecture Notes in Comput. Sci. 1984, pp. 159--171.]]"},{"key":"e_1_3_2_1_18_1","first-page":"216","volume-title":"Computational algebraic geometry and commutative algebra","author":"Giusti M.","year":"1993","unstructured":"Giusti , M. , and Heintz , J . La d\u00e9termination des points isol\u00e9s et de la dimension d'une vari\u00e9t\u00e9 alg\u00e9brique peut se faire en temps polynomial . In Computational algebraic geometry and commutative algebra , vol. 34 . 1993 , pp. 216 -- 256 .]] Giusti, M., and Heintz, J. La d\u00e9termination des points isol\u00e9s et de la dimension d'une vari\u00e9t\u00e9 alg\u00e9brique peut se faire en temps polynomial. In Computational algebraic geometry and commutative algebra, vol. 34. 1993, pp. 216--256.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309838"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/345542.345609"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90002-6"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/246346.246374"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.24033\/bsmf.1848"},{"volume-title":"INRIA","year":"2004","author":"Lazard D.","key":"e_1_3_2_1_24_1","unstructured":"Lazard , D. , and Rouillier , F . Solving parametric polynomial systems. Tech. rep ., INRIA , 2004 . Accepted for publication in Journal of Symbolic Computation.]] Lazard, D., and Rouillier, F. Solving parametric polynomial systems. Tech. rep., INRIA, 2004. Accepted for publication in Journal of Symbolic Computation.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/270376.270471"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-4049(97)00068-6"},{"key":"e_1_3_2_1_27_1","first-page":"1","volume":"102","author":"Rabinowitsch J. L","year":"1930","unstructured":"Rabinowitsch , J. L . Zum Hilbertschen Nullstellensatz. Math. Ann. 102 , 1 ( 1930 ), 520.]] Rabinowitsch, J. L. Zum Hilbertschen Nullstellensatz. Math. Ann. 102, 1 (1930), 520.]]","journal-title":"Zum Hilbertschen Nullstellensatz. Math. Ann."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-002-0109-x"},{"key":"e_1_3_2_1_29_1","series-title":"Algorithms Comput","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/3-540-27357-3_8","volume-title":"Solving polynomial equations","author":"Sommese A. J.","year":"2005","unstructured":"Sommese , A. J. , Verschelde , J. , and Wampler , C. W . Introduction to numerical algebraic geometry . In Solving polynomial equations , vol. 14 of Algorithms Comput . Math . 2005 , pp. 301 -- 335 .]] Sommese, A. J., Verschelde, J., and Wampler, C. W. Introduction to numerical algebraic geometry. In Solving polynomial equations, vol. 14 of Algorithms Comput. Math. 2005, pp. 301--335.]]"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1005285.1005288"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6202-6"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90023-W"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1073884.1073934"}],"event":{"name":"ISSAC06: International Symposium on Symbolic and Algebraic Computation","sponsor":["ACM Association for Computing Machinery","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Genoa Italy","acronym":"ISSAC06"},"container-title":["Proceedings of the 2006 international symposium on Symbolic and algebraic computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1145768.1145810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T21:59:50Z","timestamp":1673387990000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1145768.1145810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,9]]},"references-count":33,"alternative-id":["10.1145\/1145768.1145810","10.1145\/1145768"],"URL":"https:\/\/doi.org\/10.1145\/1145768.1145810","relation":{},"subject":[],"published":{"date-parts":[[2006,7,9]]},"assertion":[{"value":"2006-07-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}