{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T05:32:04Z","timestamp":1771651924117,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T00:00:00Z","timestamp":1564963200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100013296","name":"Max Planck Institute for Mathematics in the Sciences","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100013296","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s10208-019-09430-2","type":"journal-article","created":{"date-parts":[[2019,8,5]],"date-time":"2019-08-05T20:07:52Z","timestamp":1565035672000},"page":"783-800","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Computing Tropical Varieties Over Fields with Valuation"],"prefix":"10.1007","volume":"20","author":[{"given":"Thomas","family":"Markwig","sequence":"first","affiliation":[]},{"given":"Yue","family":"Ren","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,5]]},"reference":[{"issue":"4","key":"9430_CR1","doi-asserted-by":"publisher","first-page":"2096","DOI":"10.1137\/140953800","volume":"24","author":"X Allamigeon","year":"2014","unstructured":"X. Allamigeon, P. Benchimol, S. Gaubert, and M. Joswig, Combinatorial simplex algorithms can solve mean payoff games, SIAM J. Optim. 24, no.\u00a04, 2096\u20132117 (2014).","journal-title":"SIAM J. Optim."},{"key":"9430_CR2","doi-asserted-by":"publisher","unstructured":"E. Baldwin and P. Klemperer, Understanding Preferences: \u2019Demand Types\u2019, and The Existence of Equilibrium with Indivisibilities. Available at SSRN, \nhttps:\/\/doi.org\/10.2139\/ssrn.2643086\n\n (2018)","DOI":"10.2139\/ssrn.2643086"},{"issue":"3","key":"9430_CR3","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.crma.2006.11.030","volume":"344","author":"Rouchdi Bahloul","year":"2007","unstructured":"Rouchdi Bahloul and Nobuki Takayama, Local Gr\u00f6bner fans, C. R. Math. Acad. Sci. Paris 344, no.\u00a03, 147\u2013152 (2007).","journal-title":"C. R. Math. Acad. Sci. Paris"},{"key":"9430_CR4","first-page":"93","volume":"2016","author":"Janko B\u00f6hm","year":"2016","unstructured":"Janko B\u00f6hm, Wolfram Decker, Claus Fieker, Santiago Laplagne, and Gerhard Pfister, Bad primes in computational algebraic geometry, Mathematical Software \u2013 ICMS 2016, 93\u2013101 (2016).","journal-title":"Mathematical Software - ICMS"},{"issue":"1\u20132","key":"9430_CR5","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.jsc.2006.02.004","volume":"42","author":"T Bogart","year":"2007","unstructured":"T.\u00a0Bogart, A.\u00a0N. Jensen, D.\u00a0Speyer, B.\u00a0Sturmfels, and R.\u00a0R. Thomas, Computing tropical varieties, J. Symbolic Comput. 42, no.\u00a01-2, 54\u201373 (2007).","journal-title":"J. Symbolic Comput."},{"key":"9430_CR6","unstructured":"Andrew Chan, Gr\u00f6bner bases over fields with valuation and tropical curves by coordinate projections, Ph.D. thesis, University of Warwick (2013)."},{"issue":"315","key":"9430_CR7","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1090\/mcom\/3321","volume":"88","author":"Andrew J Chan","year":"2019","unstructured":"Andrew\u00a0J. Chan and Diane Maclagan, Gr\u00f6bner bases over fields with valuations, Math. Comput. 88, no. 315, 467\u2013483 (2019).","journal-title":"Math. Comput."},{"key":"9430_CR8","unstructured":"Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister, and Hans Sch\u00f6nemann, Singular  4-1-2 \u2014 A computer algebra system for polynomial computations, \nhttps:\/\/www.singular.uni-kl.de\n\n (2019)."},{"issue":"1","key":"9430_CR9","first-page":"3","volume":"108","author":"Andreas Gathmann","year":"2006","unstructured":"Andreas Gathmann, Tropical algebraic geometry, Jahresber. Dtsch. Math.-Ver. 108, No. 1, 3\u201332 (2006).","journal-title":"Jahresber. Dtsch. Math.-Ver."},{"key":"9430_CR10","unstructured":"Daniel\u00a0R. Grayson and Michael\u00a0E. Stillman, Macaulay2, a software system for research in algebraic geometry, \nhttps:\/\/www.math.uiuc.edu\/Macaulay2\/\n\n (2019)."},{"key":"9430_CR11","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1090\/conm\/589\/11745","volume":"589","author":"Walter Gubler","year":"2013","unstructured":"Walter Gubler, A guide to tropicalizations, Algebraic and combinatorial aspects of tropical geometry, Contemp. Math. 589, 125\u2013189 (2013).","journal-title":"Contemp. Math."},{"issue":"4","key":"9430_CR12","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1007\/s10569-010-9328-9","volume":"109","author":"M Hampton","year":"2011","unstructured":"M. Hampton, and A. Jensen, Finiteness of spatial central configurations in the five-body problem, Celestial Mech. Dynam. Astronom. 109, no.\u00a04, 321\u2013332 (2011).","journal-title":"Celestial Mech. Dynam. Astronom."},{"issue":"3","key":"9430_CR13","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1007\/s00454-018-0023-z","volume":"60","author":"Tommy Hofmann","year":"2018","unstructured":"Tommy Hofmann, Yue Ren, Computing tropical points and tropical links, Discrete Comput. Geom. 60, no. 3, 627\u2013645 (2018).","journal-title":"Discrete Comput. Geom."},{"key":"9430_CR14","unstructured":"Anders\u00a0N. Jensen, Gfan 0.6.2, a software system for Gr\u00f6bner fans and tropical varieties, \nhttp:\/\/home.math.au.dk\/jensen\/software\/gfan\/gfan.html\n\n (2017)."},{"key":"9430_CR15","unstructured":"Anders\u00a0N. Jensen, Hannah Markwig, Thomas Markwig, and Yue Ren, tropical.lib. aSingular4-1-2 library for computations in tropical goemetry (2019)."},{"key":"9430_CR16","unstructured":"Anders\u00a0N. Jensen, Yue Ren, and Frank Seelisch, gfan.lib. ASingular4-1-2 interface to gfanlib for basic computations in convex geometry (2019)."},{"issue":"1","key":"9430_CR17","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s00454-017-9894-7","volume":"58","author":"Nikita Kalinin","year":"2017","unstructured":"Nikita Kalinin, Tropical approach to Nagata\u2019s conjecture in positive characteristic, Discrete Comput. Geom. 58, no. 1, 158\u2013179 (2017).","journal-title":"Discrete Comput. Geom."},{"key":"9430_CR18","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/161","volume-title":"Introduction to tropical geometry, Graduate Studies in Mathematics","author":"Diane Maclagan","year":"2015","unstructured":"Diane Maclagan and Bernd Sturmfels, Introduction to tropical geometry, Graduate Studies in Mathematics, vol. 161, American Mathematical Society, Providence, RI (2015)."},{"key":"9430_CR19","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/j.jsc.2016.08.009","volume":"79","author":"Thomas Markwig","year":"2017","unstructured":"Thomas Markwig, Yue Ren, and Oliver Wienand, Standard bases in mixed power series and polynomial rings over rings, J. Symbolic Comput. 79, 119\u2013139 (2017).","journal-title":"J. Symbolic Comput."},{"key":"9430_CR20","doi-asserted-by":"crossref","unstructured":"Thomas Markwig and Yue Ren, Gr\u00f6bner fans of x-homogeneous ideals in R\n$$\\llbracket $$t\n$$\\rrbracket $$[x], J. Symbolic Comput. 83, 315\u2013341 (2017).","DOI":"10.1016\/j.jsc.2016.11.016"},{"key":"9430_CR21","unstructured":"Hideyuki Matsumura, Commutative Algebra, 2nd ed., Mathematics Lecture Note Series, vol. 56, (1980)."},{"key":"9430_CR22","doi-asserted-by":"crossref","unstructured":"G. Mikhalkin, Enumerative tropical algebraic geometry in \n$$\\mathbb{R}^2$$, J. Amer. Math. Soc. 18, no.\u00a02, 313\u2013377 (2005).","DOI":"10.1090\/S0894-0347-05-00477-7"},{"issue":"2\u20133","key":"9430_CR23","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/S0747-7171(88)80042-7","volume":"6","author":"T Mora","year":"1988","unstructured":"T. Mora, and L. Robbiano, The Gr\u00f6bner fan of an ideal, J. Symbolic Comput. 6, no.\u00a02-3, 183\u2013208 (1988).","journal-title":"J. Symbolic Comput."},{"key":"9430_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511610684","volume-title":"Algebraic statistics for computational biology","author":"L Pachter","year":"2005","unstructured":"L. Pachter, and B. Sturmfels, Algebraic statistics for computational biology, Cambridge Univ. Press, New York (2005)."},{"key":"9430_CR25","unstructured":"A. Popescu, Signature based standard bases over principal ideal rings, PhD Thesis, TU Kaiserslautern (2016)."},{"key":"9430_CR26","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1090\/conm\/589\/11748","volume":"589","author":"Patrick Popescu-Pampu","year":"2013","unstructured":"Patrick Popescu-Pampu and Dmitry Stepanov, Local tropicalization, Algebraic and combinatorial aspects of tropical geometry, Contemp. Math., vol. 589, 253\u2013316 (2013).","journal-title":"Contemp. Math."},{"key":"9430_CR27","unstructured":"Y. Ren, Tropical geometry in Singular, Dissertation, Technische Universit\u00e4t Kaiserslautern, Germany (2015)."},{"key":"9430_CR28","unstructured":"Sage, Sagemath, the Sage Mathematics Software System (Version 8.7), \nhttps:\/\/www.sagemath.org\n\n (2019)."},{"key":"9430_CR29","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-319-45641-6_31","volume":"2016","author":"Jeff Sommars","year":"2016","unstructured":"Jeff Sommars and Jan Verschelde, Pruning algorithms for pretropisms of Newton polytopes, Computer Algebra in Scientific Computing \u2013 CASC 2016, 489\u2013503 (2016).","journal-title":"Computer Algebra in Scientific Computing - CASC"},{"issue":"3","key":"9430_CR30","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1515\/advg.2004.023","volume":"4","author":"David Speyer","year":"2004","unstructured":"David Speyer and Bernd Sturmfels, The tropical Grassmannian, Adv. Geom. 4, no.\u00a03, 389\u2013411 (2004).","journal-title":"Adv. Geom."},{"key":"9430_CR31","volume-title":"Gr\u00f6bner bases and convex polytopes, University Lecture Series","author":"Bernd Sturmfels","year":"1996","unstructured":"Bernd Sturmfels, Gr\u00f6bner bases and convex polytopes, University Lecture Series, vol.\u00a08, American Mathematical Society, Providence, RI (1996)."},{"key":"9430_CR32","unstructured":"N. M. Tran, and J. Yu, Product-Mix Auctions and Tropical Geometry, \narXiv:1505.05737\n\n (2015)."},{"key":"9430_CR33","unstructured":"Naoyuki Touda, Local tropical variety, \narXiv:math\/0511486\n\n (2005)."},{"key":"9430_CR34","unstructured":"Tristan Vaccon, Matrix-F5 algorithms over finite-precision complete discrete valuation fields, J. Symbolic Comput. 80, Part 2, 329-350 (2017)."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-019-09430-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-019-09430-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-019-09430-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,3]],"date-time":"2020-08-03T23:17:20Z","timestamp":1596496640000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-019-09430-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,5]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["9430"],"URL":"https:\/\/doi.org\/10.1007\/s10208-019-09430-2","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,8,5]]},"assertion":[{"value":"20 January 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 June 2018","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 June 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 August 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}