{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:12:25Z","timestamp":1750306345867,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,20]],"date-time":"2016-07-20T00:00:00Z","timestamp":1468972800000},"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":[[2016,7,20]]},"DOI":"10.1145\/2930889.2930927","type":"proceedings-article","created":{"date-parts":[[2016,7,19]],"date-time":"2016-07-19T11:59:33Z","timestamp":1468929573000},"page":"223-230","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing Small Certificates of Inconsistency of Quadratic Fewnomial Systems"],"prefix":"10.1145","author":[{"given":"Jean-Charles","family":"Faug\u00e8re","sequence":"first","affiliation":[{"name":"INRIA\/Sorbonne Universit\u00e9s\/Univ. Paris 6\/CNRS, Equipe PolSys, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Jean","family":"Spaenlehauer","sequence":"additional","affiliation":[{"name":"INRIA\/CNRS\/Universit\u00e9 de Lorraine, Nancy, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jules","family":"Svartz","sequence":"additional","affiliation":[{"name":"Lyc\u00e9e Mass\u00e9na\/Min. Education Nationale, Nice, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,20]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00200-009-0117-1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-014-9214-z"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.1997.0432"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2004.10.001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2755996.2756670"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1197095"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-014-9610-9"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-014-9212-1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1353\/ajm.2006.0019"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10208-014-9240-x"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.exmath.2007.07.001"},{"key":"e_1_3_2_1_12_1","volume-title":"Commutative Algebra: with a view toward algebraic geometry","author":"Eisenbud D.","year":"2013","unstructured":"D. Eisenbud . Commutative Algebra: with a view toward algebraic geometry , volume 150 . Springer Science & Business Media , 2013 . D. Eisenbud. Commutative Algebra: with a view toward algebraic geometry, volume 150. Springer Science & Business Media, 2013."},{"key":"e_1_3_2_1_13_1","volume-title":"All that intersection theory in algebraic geometry","author":"Eisenbud D.","year":"2013","unstructured":"D. Eisenbud and J. Harris . All that intersection theory in algebraic geometry . 2013 . D. Eisenbud and J. Harris. All that intersection theory in algebraic geometry. 2013."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442855"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2013.03.004"},{"key":"e_1_3_2_1_16_1","volume-title":"Intersection theory","author":"Fulton W.","year":"2012","unstructured":"W. Fulton . Intersection theory , volume 2 . Springer , 2012 . W. Fulton. Intersection theory, volume 2. Springer, 2012."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcom.2000.0571"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993886.1993910"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1137\/130931308"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80005-1"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02573999"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01259325"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2011.05.014"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","DOI":"10.1515\/9783110838350","volume-title":"Holomorphic functions of several variables: an introduction to the fundamental theory","author":"Kaup L.","year":"1983","unstructured":"L. Kaup and B. Kaup . Holomorphic functions of several variables: an introduction to the fundamental theory , volume 3 . Walter de Gruyter , 1983 . L. Kaup and B. Kaup. Holomorphic functions of several variables: an introduction to the fundamental theory, volume 3. Walter de Gruyter, 1983."},{"key":"e_1_3_2_1_25_1","volume-title":"Combinatorial commutative algebra","author":"Miller E.","year":"2005","unstructured":"E. Miller and B. Sturmfels . Combinatorial commutative algebra , volume 227 . Springer Science & Business Media , 2005 . E. Miller and B. Sturmfels. Combinatorial commutative algebra, volume 227. Springer Science & Business Media, 2005."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1137\/080716670"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1093\/qmath\/11.1.81"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.24033\/asens.1346"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(10)80003-3"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390768.1390781"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/860854.860901"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-009-9239-2"},{"key":"e_1_3_2_1_33_1","volume-title":"A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. arXiv preprint arXiv:1307.7836","author":"Din M. Safey El","year":"2013","unstructured":"M. Safey El Din and \u00c9. Schost. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. arXiv preprint arXiv:1307.7836 , 2013 . M. Safey El Din and \u00c9. Schost. A nearly optimal algorithm for deciding connectivity queries in smooth and bounded real algebraic sets. arXiv preprint arXiv:1307.7836, 2013."},{"key":"e_1_3_2_1_34_1","volume-title":"Basic algebraic geometry","author":"Shafarevich I. R.","year":"1977","unstructured":"I. R. Shafarevich and K. A. Hirsch . Basic algebraic geometry , volume 1 . Springer , 1977 . I. R. Shafarevich and K. A. Hirsch. Basic algebraic geometry, volume 1. Springer, 1977."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1137\/130936294"},{"key":"e_1_3_2_1_36_1","first-page":"749","volume-title":"Proc. Roy. Acad","volume":"31","author":"Van der Waerden B. L.","year":"1929","unstructured":"B. L. Van der Waerden . On Hilbert's function , series of composition of ideals and a generalization of the theorem of Bezout . In Proc. Roy. Acad . Amsterdam , volume 31 , pages 749 -- 770 , 1929 . B. L. Van der Waerden. On Hilbert's function, series of composition of ideals and a generalization of the theorem of Bezout. In Proc. Roy. Acad. Amsterdam, volume 31, pages 749--770, 1929."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1385-7258(78)80021-3"}],"event":{"name":"ISSAC '16: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Waterloo ON Canada","acronym":"ISSAC '16"},"container-title":["Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930927","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2930889.2930927","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:55:48Z","timestamp":1750222548000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2930889.2930927"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,20]]},"references-count":37,"alternative-id":["10.1145\/2930889.2930927","10.1145\/2930889"],"URL":"https:\/\/doi.org\/10.1145\/2930889.2930927","relation":{},"subject":[],"published":{"date-parts":[[2016,7,20]]},"assertion":[{"value":"2016-07-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}