{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,14]],"date-time":"2026-04-14T16:52:50Z","timestamp":1776185570917,"version":"3.50.1"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T00:00:00Z","timestamp":1591401600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T00:00:00Z","timestamp":1591401600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s11786-020-00481-1","type":"journal-article","created":{"date-parts":[[2020,6,6]],"date-time":"2020-06-06T12:02:25Z","timestamp":1591444945000},"page":"255-269","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Tropical Differential Gr\u00f6bner Bases"],"prefix":"10.1007","volume":"15","author":[{"given":"Youren","family":"Hu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao-Shan","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,6,6]]},"reference":[{"issue":"2","key":"481_CR1","doi-asserted-by":"publisher","first-page":"257","DOI":"10.2140\/pjm.2016.283.257","volume":"283","author":"F Aroca","year":"2016","unstructured":"Aroca, F., Garay, C., Toghani, Z.: The fundamental theorem of tropical differential algebraic geometry. Pac. J. Math. 283(2), 257\u2013270 (2016)","journal-title":"Pac. J. Math."},{"issue":"1","key":"481_CR2","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.jsc.2006.02.004","volume":"42","author":"T Bogart","year":"2007","unstructured":"Bogart, T., Jensen, A., Speyer, D., Sturmfels, B., Thomas, R.: Computing tropical varieties. J. Symb. Comput. 42(1), 54\u201373 (2007)","journal-title":"J. Symb. Comput."},{"key":"481_CR3","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1524\/anly.1993.13.12.103","volume":"13","author":"J Cano","year":"1993","unstructured":"Cano, J.: On the series defined by differential equations, with an extension of the Puiseux polygon construction to these equations. Analysis 13, 103\u2013120 (1993)","journal-title":"Analysis"},{"key":"481_CR4","doi-asserted-by":"crossref","unstructured":"Carra\u2019Ferro, G.: Gr\u00f6bner bases and differential algebra. In: International Conference on Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes, pp. 129\u2013140. Springer, Berlin (1987)","DOI":"10.1007\/3-540-51082-6_73"},{"key":"481_CR5","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/mcom\/3321","volume":"88","author":"AJ Chan","year":"2018","unstructured":"Chan, A.J., Maclagan, D.: Gr\u00f6bner bases over fields with valuations. Math. Comput. 88, 467\u2013483 (2018)","journal-title":"Math. Comput."},{"key":"481_CR6","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1016\/j.aam.2016.08.002","volume":"82","author":"D Grigoriev","year":"2017","unstructured":"Grigoriev, D.: Tropical differential equations. Adv. Appl. Math. 82, 120\u2013128 (2017)","journal-title":"Adv. Appl. Math."},{"issue":"1","key":"481_CR7","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1090\/S0002-9947-1991-1012519-2","volume":"327","author":"DY Grigoriev","year":"1991","unstructured":"Grigoriev, D.Y., Singer, M.F.: Solving ordinary differential equations in terms of series with real exponents. Trans. AMS 327(1), 329\u2013351 (1991)","journal-title":"Trans. AMS"},{"key":"481_CR8","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/s11424-019-8343-5","volume":"32","author":"Y Hu","year":"2019","unstructured":"Hu, Y., Gao, X.S.: Ritt-Wu characteristic set method for Laurent partial differential polynomial systems. J. Syst. Sci. Complex. 32, 62\u201377 (2019)","journal-title":"J. Syst. Sci. Complex."},{"issue":"2","key":"481_CR9","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/s10208-015-9249-9","volume":"15","author":"W Li","year":"2015","unstructured":"Li, W., Yuan, C.M., Gao, X.S.: Sparse differential resultant for Laurent differential polynomials. Found. Comput. Math. 15(2), 451\u2013517 (2015)","journal-title":"Found. Comput. Math."},{"key":"481_CR10","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/161","volume-title":"Introduction to Tropical Geometry","author":"D Maclagan","year":"2015","unstructured":"Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry. American Mathematical Soc, Providence (2015)"},{"key":"481_CR11","unstructured":"Markwig, T., Ren, Y.: Computing tropical varieties over fields with valuation, Preprint"},{"key":"481_CR12","doi-asserted-by":"crossref","unstructured":"Ollivier, F.: Standard bases of differential ideals. In: International Symposium on Applied Algebra. Algebraic Algorithms and Error-Correcting Codes, pp. 304\u2013321. Springer, Berlin (1990)","DOI":"10.1007\/3-540-54195-0_60"},{"issue":"1","key":"481_CR13","doi-asserted-by":"publisher","first-page":"301","DOI":"10.2140\/pjm.1980.86.301","volume":"86","author":"M Rosenlicht","year":"1980","unstructured":"Rosenlicht, M.: Differential valuations. Pac. J. Math. 86(1), 301\u2013319 (1980)","journal-title":"Pac. J. Math."},{"key":"481_CR14","unstructured":"Sen, A., Dukkipati, A.: Gr\u00f6bner basis theory for modules over polynomial rings over fields with valuation, arXiv:1404.7379 (2014)"},{"key":"481_CR15","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/j.jsc.2017.11.014","volume":"89","author":"T Vaccon","year":"2018","unstructured":"Vaccon, T.: Matrix-F5 algorithms and tropical Gr\u00f6bner bases computation. J. Symb. Comput. 89, 227\u2013254 (2018)","journal-title":"J. Symb. Comput."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00481-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-020-00481-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-020-00481-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,6]],"date-time":"2021-06-06T00:24:39Z","timestamp":1622939079000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-020-00481-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,6]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["481"],"URL":"https:\/\/doi.org\/10.1007\/s11786-020-00481-1","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,6,6]]},"assertion":[{"value":"23 March 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 September 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 October 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 June 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}