{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:09:10Z","timestamp":1743037750423,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031645280"},{"type":"electronic","value":"9783031645297"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-64529-7_34","type":"book-chapter","created":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T15:21:35Z","timestamp":1721143295000},"page":"313-321","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic Decomposition of\u00a0Tropical Prevarieties for\u00a0Celestial Mechanics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-5437-7068","authenticated-orcid":false,"given":"Anders Nedergaard","family":"Jensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,17]]},"reference":[{"key":"34_CR1","doi-asserted-by":"crossref","unstructured":"Albouy, A., Kaloshin, V.: Finiteness of central configurations of five bodies in the plane. Ann. Math. (2) 176(1), 535\u2013588 (2012)","DOI":"10.4007\/annals.2012.176.1.10"},{"key":"34_CR2","unstructured":"Backelin, J.: Square multiples n give infinitely many cyclic n-roots. Reports, Matematiska Institutionen\u00a08, Stockholms universitet (1989)"},{"issue":"1\u20132","key":"34_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.scico.2007.08.001","volume":"72","author":"R Bagnara","year":"2008","unstructured":"Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Sci. Comput. Program. 72(1\u20132), 3\u201321 (2008)","journal-title":"Sci. Comput. Program."},{"key":"34_CR4","unstructured":"Fukuda, K.: cddlib reference manual, cddlib Version 094m. Swiss Federal Institute of Technology, Lausanne and Z\u00fcrich, Switzerland (2021), https:\/\/people.inf.ethz.ch\/fukudak\/cdd_home\/"},{"issue":"2","key":"34_CR5","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/s00454-002-2837-x","volume":"29","author":"T Gao","year":"2003","unstructured":"Gao, T., Li, T.: Mixed volume computation for semi-mixed systems. Discrete Computational Geometry 29(2), 257\u2013277 (2003)","journal-title":"Discrete Computational Geometry"},{"key":"34_CR6","doi-asserted-by":"crossref","unstructured":"Gao, T., Li, T.Y., Wu, M.: Algorithm 846: Mixedvol: a software package for mixed-volume computation. ACM Trans. Math. Softw. 31(4), 555-560 (dec 2005)","DOI":"10.1145\/1114268.1114274"},{"issue":"2","key":"34_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/s00222-005-0461-0","volume":"163","author":"M Hampton","year":"2006","unstructured":"Hampton, M., Moeckel, R.: Finiteness of relative equilibria of the four-body problem. Invent. Math. 163(2), 289\u2013312 (2006)","journal-title":"Invent. Math."},{"key":"34_CR8","doi-asserted-by":"crossref","unstructured":"Jensen, A., Sommars, J., Verschelde, J.: Computing tropical prevarieties in parallel. In: Proceedings of the International Workshop on Parallel Symbolic Computation. PASCO 2017, Association for Computing Machinery, New York, NY, USA (2017)","DOI":"10.1145\/3115936.3115945"},{"key":"34_CR9","unstructured":"Jensen, A.N.: Gfan, a software system for Gr\u00f6bner fans and tropical varieties. Available at https:\/\/math.au.dk\/~jensen\/software\/gfan\/gfan.html"},{"key":"34_CR10","unstructured":"Jensen, A.N., Leykin, A.: Smale\u2019s 6th problem for generic masses (2024), submitted to Journal of Experimental Mathematics"},{"key":"34_CR11","doi-asserted-by":"crossref","unstructured":"Jensen, A.N.: An implementation of exact mixed volume computation. In: Mathematical Software - ICMS 2016 - 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. pp. 198\u2013205 (2016)","DOI":"10.1007\/978-3-319-42432-3_25"},{"key":"34_CR12","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/161","volume-title":"Introduction to Tropical Geometry, Graduate Studies in Mathematics","author":"D Maclagan","year":"2015","unstructured":"Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry, Graduate Studies in Mathematics, vol. 161. American Mathematical Society, Providence, RI (2015)"},{"key":"34_CR13","doi-asserted-by":"crossref","unstructured":"Malajovich, G.: Computing mixed volume and all mixed cells in quermassintegral time. Found. Comput. Math. 17(5), 1293-1334 (oct 2017)","DOI":"10.1007\/s10208-016-9320-1"},{"key":"34_CR14","doi-asserted-by":"crossref","unstructured":"Mizutani, T., Takeda, A.: DEMiCs: a software package for computing the mixed volume via dynamic enumeration of all mixed cells. In: Stillman, M., Takayama, N., Verschelde, J. (eds.) Software for Algebraic Geometry, The IMA Volumes in Mathematics and Its Applications, vol.\u00a0148, pp. 59\u201379. Springer-Verlag (2008)","DOI":"10.1007\/978-0-387-78133-4_5"},{"issue":"3","key":"34_CR15","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s00454-006-1300-9","volume":"37","author":"T Mizutani","year":"2007","unstructured":"Mizutani, T., Takeda, A., Kojima, M.: Dynamic enumeration of all mixed cells. Discrete & Computational Geometry 37(3), 351\u2013367 (2007)","journal-title":"Discrete & Computational Geometry"},{"key":"34_CR16","doi-asserted-by":"crossref","unstructured":"Osserman, B., Payne, S.: Lifting tropical intersections. Doc. Math., J. DMV 18, 121\u2013175 (2013)","DOI":"10.4171\/dm\/394"},{"key":"34_CR17","unstructured":"Sommars, J.C.: Algorithms and Implementations in Computational Algebraic Geometry (2018), PhD thesis, University of Illinois at Chicago"},{"key":"34_CR18","doi-asserted-by":"crossref","unstructured":"Speyer, D., Williams, L.K.: The positive Dressian equals the positive tropical Grassmannian. Trans. Am. Math. Soc., Ser. B 8, 330\u2013353 (2021)","DOI":"10.1090\/btran\/67"}],"container-title":["Lecture Notes in Computer Science","Mathematical Software \u2013 ICMS 2024"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-64529-7_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T15:26:14Z","timestamp":1721143574000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64529-7_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031645280","9783031645297"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64529-7_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"17 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICMS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Congress on Mathematical Software","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Durham","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 July 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 July 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icms2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/maths.dur.ac.uk\/icms2024\/ICMS2024.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}