{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T01:43:04Z","timestamp":1758591784382,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"INRIA","award":["DGDS012125"],"award-info":[{"award-number":["DGDS012125"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669705","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"324-333","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Automated Reasoning For The Existence Of Darboux Polynomials"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4941-6632","authenticated-orcid":false,"given":"Khalil","family":"Ghorbal","sequence":"first","affiliation":[{"name":"INRIA, France"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-6213-9557","authenticated-orcid":false,"given":"Maxime","family":"Bridoux","sequence":"additional","affiliation":[{"name":"INRIA, France"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3007"},{"volume-title":"ISSAC (Software presentation)","author":"Bridoux Maxime","key":"e_1_3_2_1_2_1","unstructured":"Maxime Bridoux and Khalil Ghorbal. 2024. A Mathematica Package for Certifying the Nonexistence of Darboux Polynomials. In ISSAC (Software presentation). ACM Press, New York City, NY, USA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0308210500030213"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jde.2014.04.012"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"David Cox John Little and Donal O\u2019Shea. 2007. Ideals Varieties and Algorithms. Springer New York. https:\/\/doi.org\/10.1007\/978-0-387-35651-8","DOI":"10.1007\/978-0-387-35651-8"},{"key":"e_1_3_2_1_6_1","first-page":"60","article-title":"M\u00e9moire sur les \u00e9quations diff\u00e9rentielles alg\u00e9briques du premier ordre et du premier degr\u00e9 (in French)","volume":"2","author":"Darboux Gaston","year":"1878","unstructured":"Gaston Darboux. 1878. M\u00e9moire sur les \u00e9quations diff\u00e9rentielles alg\u00e9briques du premier ordre et du premier degr\u00e9 (in French). Bulletin des Sciences Math\u00e9matiques et Astronomiques 2, 1 (1878), 60\u201396. http:\/\/eudml.org\/doc\/85010","journal-title":"Bulletin des Sciences Math\u00e9matiques et Astronomiques"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_19"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1142\/3846"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2014.6859330"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1057"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/jdeq.1995.1008"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1983-0704611-X"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.06.018"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15984-3_321"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-007-0046-1"},{"volume-title":"Grobner bases and convex polytopes","author":"Sturmfels Bernd","key":"e_1_3_2_1_16_1","unstructured":"Bernd Sturmfels. 1996. Grobner bases and convex polytopes. American Mathematical Society, RI, USA."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-4226-3"}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Raleigh NC USA","acronym":"ISSAC '24"},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669705","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:51:38Z","timestamp":1758588698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669705"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":17,"alternative-id":["10.1145\/3666000.3669705","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669705","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}