{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T22:19:15Z","timestamp":1774909155175,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T00:00:00Z","timestamp":1595203200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["P31327-N32"],"award-info":[{"award-number":["P31327-N32"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Consejo Nacional de Ciencia y Tecnolog\u00eda","award":["299261"],"award-info":[{"award-number":["299261"]}]},{"DOI":"10.13039\/501100007601","name":"Horizon 2020","doi-asserted-by":"publisher","award":["792432"],"award-info":[{"award-number":["792432"]}],"id":[{"id":"10.13039\/501100007601","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,20]]},"DOI":"10.1145\/3373207.3404040","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T14:07:23Z","timestamp":1595858843000},"page":"178-185","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["The fundamental theorem of tropical partial differential algebraic geometry"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Falkensteiner","sequence":"first","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}]},{"given":"Cristhian","family":"Garay-L\u00f3pez","sequence":"additional","affiliation":[{"name":"Matem\u00e1ticas, Guanajuato, M\u00e9xico"}]},{"given":"Mercedes","family":"Haiech","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Rennes 1, Rennes, France"}]},{"given":"Marc Paul","family":"Noordman","sequence":"additional","affiliation":[{"name":"University of Groningen, Groningen, The Netherlands"}]},{"given":"Zeinab","family":"Toghani","sequence":"additional","affiliation":[{"name":"Queen Mary University of London, London, United Kingdom"}]},{"given":"Fran\u00e7ois","family":"Boulier","sequence":"additional","affiliation":[{"name":"Univ. Lille, Lille, France"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.2016.283.257"},{"key":"e_1_3_2_2_2_1","first-page":"189","article-title":"Lou van den Dries","volume":"51","author":"Becker Joseph","year":"1979","unstructured":"Joseph Becker , Jan Denef , Leonard Lipshitz , and Lou van den Dries . Ultraproducts and Approximation in Local Rings I. Inventiones mathematicae , 51 : 189 -- 203 , 1979 . Joseph Becker, Jan Denef, Leonard Lipshitz, and Lou van den Dries. Ultraproducts and Approximation in Local Rings I. Inventiones mathematicae, 51:189--203, 1979.","journal-title":"Ultraproducts and Approximation in Local Rings I. Inventiones mathematicae"},{"key":"e_1_3_2_2_3_1","volume-title":"The Ritt-Raudenbush Theorem and Tropical Differential Geometry.","author":"Boulier Fran\u00e7ois","year":"2019","unstructured":"Fran\u00e7ois Boulier and Mercedes Haiech . The Ritt-Raudenbush Theorem and Tropical Differential Geometry. Available at https:\/\/hal.archives-ouvertes.fr\/hal-02403365, 2019 . Fran\u00e7ois Boulier and Mercedes Haiech. The Ritt-Raudenbush Theorem and Tropical Differential Geometry. Available at https:\/\/hal.archives-ouvertes.fr\/hal-02403365, 2019."},{"key":"e_1_3_2_2_4_1","volume-title":"Varieties and Algorithms. An introduction to computational algebraic geometry and commutative algebra. Undergraduate Texts in Mathematics","author":"Cox David","year":"2007","unstructured":"David Cox , John Little , and Donal O'Shea . Ideals , Varieties and Algorithms. An introduction to computational algebraic geometry and commutative algebra. Undergraduate Texts in Mathematics . Springer Verlag , New York , 3 rd edition, 2007 . David Cox, John Little, and Donal O'Shea. Ideals, Varieties and Algorithms. An introduction to computational algebraic geometry and commutative algebra. Undergraduate Texts in Mathematics. Springer Verlag, New York, 3rd edition, 2007.","edition":"3"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01579200"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1215\/00127094-3645544"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aam.2016.08.002"},{"key":"e_1_3_2_2_8_1","volume-title":"Differential Algebra and Algebraic Groups","author":"Kolchin Ellis Robert","year":"1973","unstructured":"Ellis Robert Kolchin . Differential Algebra and Algebraic Groups . Academic Press , New York , 1973 . Ellis Robert Kolchin. Differential Algebra and Algebraic Groups. Academic Press, New York, 1973."},{"key":"e_1_3_2_2_9_1","series-title":"University Lecture Series","volume-title":"Gr\u00f6bner bases and convex polytopes","author":"Sturmfels Bernd","year":"1996","unstructured":"Bernd Sturmfels . Gr\u00f6bner bases and convex polytopes , volume 8 of University Lecture Series . American Mathematical Society , Providence, RI , 1996 . Bernd Sturmfels. Gr\u00f6bner bases and convex polytopes, volume 8 of University Lecture Series. American Mathematical Society, Providence, RI, 1996."}],"event":{"name":"ISSAC '20: International Symposium on Symbolic and Algebraic Computation","location":"Kalamata Greece","acronym":"ISSAC '20","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404040","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373207.3404040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:46Z","timestamp":1750203886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,20]]},"references-count":9,"alternative-id":["10.1145\/3373207.3404040","10.1145\/3373207"],"URL":"https:\/\/doi.org\/10.1145\/3373207.3404040","relation":{},"subject":[],"published":{"date-parts":[[2020,7,20]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}