{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:37:00Z","timestamp":1760132220860,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,22]],"date-time":"2012-07-22T00:00:00Z","timestamp":1342915200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,7,22]]},"DOI":"10.1145\/2442829.2442855","type":"proceedings-article","created":{"date-parts":[[2013,2,22]],"date-time":"2013-02-22T19:25:33Z","timestamp":1361561133000},"page":"162-169","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Critical points and Gr\u00f6bner bases"],"prefix":"10.1145","author":[{"given":"Jean-Charles","family":"Faug\u00e8re","sequence":"first","affiliation":[{"name":"Univ Paris, Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohab Safey","family":"El Din","sequence":"additional","affiliation":[{"name":"Univ Paris, Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Jean","family":"Spaenlehauer","sequence":"additional","affiliation":[{"name":"Univ Paris, Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,7,22]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1006\/jsco.2002.0563"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1006\/jcom.1997.0432"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/PL00004896"},{"issue":"5","key":"e_1_3_2_1_4_1","first-page":"519","article-title":"Generalized polar varieties and efficient real elimination procedure","volume":"40","author":"Bank B.","year":"2004","unstructured":"B. Bank , M. Giusti , J. Heintz , and L.-M. Pardo . Generalized polar varieties and efficient real elimination procedure . Kybernetika , 40 ( 5 ): 519 -- 550 , 2004 . B. Bank, M. Giusti, J. Heintz, and L.-M. Pardo. Generalized polar varieties and efficient real elimination procedure. Kybernetika, 40(5):519--550, 2004.","journal-title":"Kybernetika"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.5555\/1108638.1716342"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/s00200-009-0117-1"},{"key":"e_1_3_2_1_7_1","first-page":"71","volume-title":"Proceedings of the International Conference on Polynomial System Solving (ISCPP)","author":"Bardet M.","year":"2004","unstructured":"M. Bardet , J.-C. Faug\u00e8re , and B. Salvy . On the complexity of Gr\u00f6bner basis computation of semi-regular overdetermined algebraic equations . In Proceedings of the International Conference on Polynomial System Solving (ISCPP) , pages 71 -- 74 , 2004 . M. Bardet, J.-C. Faug\u00e8re, and B. Salvy. On the complexity of Gr\u00f6bner basis computation of semi-regular overdetermined algebraic equations. In Proceedings of the International Conference on Polynomial System Solving (ISCPP), pages 71--74, 2004."},{"key":"e_1_3_2_1_8_1","first-page":"71","volume-title":"Effective Methods in Algebraic Geometry (MEGA)","author":"Bardet M.","year":"2004","unstructured":"M. Bardet , J.-C. Faug\u00e8re , B. Salvy , and B.-Y. Yang . Asymptotic expansion of the degree of regularity for semi-regular systems of equations . In Effective Methods in Algebraic Geometry (MEGA) , pages 71 -- 74 , 2004 . M. Bardet, J.-C. Faug\u00e8re, B. Salvy, and B.-Y. Yang. Asymptotic expansion of the degree of regularity for semi-regular systems of equations. In Effective Methods in Algebraic Geometry (MEGA), pages 71--74, 2004."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1007\/BF02573959"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/235809.235813"},{"key":"e_1_3_2_1_11_1","volume-title":"Quantifier elimination and cylindrical algebraic decomposition","author":"Basu S.","year":"1998","unstructured":"S. Basu , R. Pollack , and M.-F. Roy . A new algorithm to find a point in every cell defined by a family of polynomials . In Quantifier elimination and cylindrical algebraic decomposition . Springer-Verlag , 1998 . S. Basu, R. Pollack, and M.-F. Roy. A new algorithm to find a point in every cell defined by a family of polynomials. In Quantifier elimination and cylindrical algebraic decomposition. Springer-Verlag, 1998."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1016\/j.jpaa.2004.02.010"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1090\/S0002-9939-1994-1213858-0"},{"key":"e_1_3_2_1_14_1","volume-title":"Varieties and Algorithms","author":"Cox D.","year":"1997","unstructured":"D. Cox , J. Little , and D. O'Shea . Ideals , Varieties and Algorithms . Springer , 3 rd edition, 1997 . D. Cox, J. Little, and D. O'Shea. Ideals, Varieties and Algorithms. Springer, 3rd edition, 1997.","edition":"3"},{"key":"e_1_3_2_1_15_1","volume-title":"Commutative Algebra with a View Toward Algebraic Geometry","author":"Eisenbud D.","year":"1995","unstructured":"D. Eisenbud . Commutative Algebra with a View Toward Algebraic Geometry . Springer , 1995 . D. Eisenbud. Commutative Algebra with a View Toward Algebraic Geometry. Springer, 1995."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.5555\/3116258.3116373"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/1390768.1390782"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/780506.780516"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1006\/jsco.1993.1051"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/1993886.1993908"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1145\/1837934.1837984"},{"key":"e_1_3_2_1_22_1","volume-title":"Safey El Din, and P.-J. Spaenlehauer. On the complexity of the Generalized Minrank Problem. arXiv:1112.4411","author":"Faug\u00e8re J.-C.","year":"2011","unstructured":"J.-C. Faug\u00e8re , M. Safey El Din, and P.-J. Spaenlehauer. On the complexity of the Generalized Minrank Problem. arXiv:1112.4411 , 2011 . J.-C. Faug\u00e8re, M. Safey El Din, and P.-J. Spaenlehauer. On the complexity of the Generalized Minrank Problem. arXiv:1112.4411, 2011."},{"key":"e_1_3_2_1_23_1","volume-title":"Intersection Theory","author":"Fulton W.","year":"1997","unstructured":"W. Fulton . Intersection Theory . Springer , 2 nd edition, 1997 . W. Fulton. Intersection Theory. Springer, 2nd edition, 1997.","edition":"2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_25_1","volume-title":"Introduction to singularities and deformations","author":"Greuel G.","year":"2007","unstructured":"G. Greuel , C. Lossen , and E. Shustin . Introduction to singularities and deformations . Springer , 2007 . G. Greuel, C. Lossen, and E. Shustin. Introduction to singularities and deformations. Springer, 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1007\/s00037-005-0189-7"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1016\/S0747-7171(88)80005-1"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings IFIP'89 San Francisco, North-Holland","author":"Heintz J.","year":"1989","unstructured":"J. Heintz , M.-F. Roy , and P. Solern\u00f2 . On the complexity of semi-algebraic sets . In Proceedings IFIP'89 San Francisco, North-Holland , 1989 . J. Heintz, M.-F. Roy, and P. Solern\u00f2. On the complexity of semi-algebraic sets. In Proceedings IFIP'89 San Francisco, North-Holland, 1989."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_29_1","DOI":"10.1093\/comjnl\/36.5.427"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1090\/S0002-9904-1970-12543-5"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_31_1","DOI":"10.2307\/2373744"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_32_1","DOI":"10.1145\/1576702.1576729"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_33_1","DOI":"10.1016\/j.jsc.2011.05.014"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_34_1","DOI":"10.1137\/080716670"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_35_1","DOI":"10.1007\/s11786-007-0003-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_36_1","DOI":"10.1145\/860854.860901"},{"issue":"3","key":"e_1_3_2_1_37_1","first-page":"417","article-title":"Properness defects of projections and computation of one point in each connected component of a real algebraic set","volume":"32","author":"Safey El Din M.","year":"2004","unstructured":"M. Safey El Din and \u00c9. Schost . Properness defects of projections and computation of one point in each connected component of a real algebraic set . Discrete and Computational Geometry , 32 ( 3 ): 417 -- 430 , 2004 . M. Safey El Din and \u00c9. Schost. Properness defects of projections and computation of one point in each connected component of a real algebraic set. Discrete and Computational Geometry, 32(3):417--430, 2004.","journal-title":"Discrete and Computational Geometry"},{"key":"e_1_3_2_1_38_1","volume-title":"Basic Algebraic Geometry I","author":"Shafarevich I.","year":"1988","unstructured":"I. Shafarevich . Basic Algebraic Geometry I . Springer , second, re edition, 1988 . I. Shafarevich. Basic Algebraic Geometry I. Springer, second, re edition, 1988."}],"event":{"sponsor":["Grenoble University Grenoble University","INRIA Institut Natl de Recherche en Info et en Automatique","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC'12","name":"ISSAC'12: International Symposium on Symbolic and Algebraic Computation","location":"Grenoble France"},"container-title":["Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442855","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2442829.2442855","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:18:39Z","timestamp":1750234719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2442829.2442855"}},"subtitle":["the unmixed case"],"short-title":[],"issued":{"date-parts":[[2012,7,22]]},"references-count":38,"alternative-id":["10.1145\/2442829.2442855","10.1145\/2442829"],"URL":"https:\/\/doi.org\/10.1145\/2442829.2442855","relation":{},"subject":[],"published":{"date-parts":[[2012,7,22]]},"assertion":[{"value":"2012-07-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}