{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T16:49:23Z","timestamp":1743007763215,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"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_31","type":"book-chapter","created":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T15:21:35Z","timestamp":1721143295000},"page":"299-312","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Eigenvalue Methods for\u00a0Sparse Tropical Polynomial Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8569-7622","authenticated-orcid":false,"given":"Marianne","family":"Akian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9907-6514","authenticated-orcid":false,"given":"Antoine","family":"B\u00e9reau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2777-9988","authenticated-orcid":false,"given":"St\u00e9phane","family":"Gaubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,17]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Akian, M., Gaubert, S., Guterman, A.: Tropical polyhedra are equivalent to mean payoff games. Int. J. Algebra Comput. 22(1), 125001 (2012)","DOI":"10.1142\/S0218196711006674"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Akian, M., B\u00e9reau, A., Gaubert, S.: The tropical Nullstellensatz and Positivstellensatz for sparse polynomial systems. In: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation, pp. 43\u201352. ISSAC \u201923, Association for Computing Machinery, New York, NY, USA (2023)","DOI":"10.1145\/3597066.3597089"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Akian, M., B\u00e9reau, A., Gaubert, S.: The Nullstellensatz and Positivstellensatz for sparse tropical polynomial systems (2023). arXiv:2312.05859","DOI":"10.1145\/3597066.3597089"},{"key":"31_CR4","unstructured":"Akian, M., Gaubert, S.: Policy iteration for perfect information stochastic mean payoff games with bounded first return times is strongly polynomial (2013)"},{"issue":"2","key":"31_CR5","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1016\/j.jmaa.2017.07.017","volume":"457","author":"M Akian","year":"2018","unstructured":"Akian, M., Gaubert, S., Hochart, A.: Generic uniqueness of the bias vector of finite stochastic games with perfect information. J. Math. Anal. Appl. 457(2), 1038\u20131064 (2018)","journal-title":"J. Math. Anal. Appl."},{"key":"31_CR6","unstructured":"Akian, M., Gaubert, S., Vannucci, S.: Ambitropical geometry, hyperconvexity and zero-sum games (2023)"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/978-3-319-22975-1_2","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"X Allamigeon","year":"2015","unstructured":"Allamigeon, X., B\u0153uf, V., Gaubert, S.: Performance evaluation of an emergency call center: tropical polynomial systems applied to timed petri nets. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 10\u201326. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-22975-1_2"},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s00454-020-00176-1","volume":"63","author":"X Allamigeon","year":"2020","unstructured":"Allamigeon, X., Gaubert, S., Skomra, M.: Tropical spectrahedra. Discret. Comput. Geom. 63, 507\u2013548 (2020)","journal-title":"Discret. Comput. Geom."},{"issue":"3","key":"31_CR9","doi-asserted-by":"publisher","first-page":"867","DOI":"10.3982\/ECTA13693","volume":"87","author":"E Baldwin","year":"2019","unstructured":"Baldwin, E., Klemperer, P.: Understanding preferences: \u201cdemand types\u2019\u2019, and the existence of equilibrium with indivisibilities. Econometrica 87(3), 867\u2013932 (2019)","journal-title":"Econometrica"},{"key":"31_CR10","doi-asserted-by":"publisher","unstructured":"Bronstein, M., Cohen, A.M., Cohen, H., Eisenbud, D., Sturmfels, B., Dickenstein, A., Emiris, I.Z. (eds.): Solving Polynomial Equations. Springer-Verlag (2005). https:\/\/doi.org\/10.1007\/b138957","DOI":"10.1007\/b138957"},{"key":"31_CR11","unstructured":"B\u00e9reau, A.: Tp2s: a solver for systems of tropical polynomial equalities and inequalities (2023). python software available from https:\/\/gitlab.inria.fr\/abereau\/tropical-polynomial-system-solving"},{"key":"31_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-56686-4_36","volume-title":"Applied Algebra, Algebraic Algorithms and Error-Correcting Codes","author":"J Canny","year":"1993","unstructured":"Canny, J., Emiris, I.: An efficient algorithm for the sparse mixed resultant. In: Cohen, G., Mora, T., Moreno, O. (eds.) AAECC 1993. LNCS, vol. 673, pp. 89\u2013104. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56686-4_36"},{"key":"31_CR13","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/CBO9780511662508.010","volume-title":"Idempotency","author":"G Cohen","year":"1998","unstructured":"Cohen, G., Gaubert, S., Quadrat, J.: Algebraic system analysis of timed Petri nets. In: Gunawardena, J. (ed.) Idempotency, pp. 145\u2013170. Publications of the Isaac Newton Institute, Cambridge University Press (1998)"},{"key":"31_CR14","doi-asserted-by":"publisher","unstructured":"Desoeuvres, A., Szmolyan, P., Radulescu, O.: Qualitative dynamics of chemical reaction networks: an investigation using partial tropical equilibrations. In: Petre, I., P\u0103un, A. (eds.) Computational Methods in Systems Biology. CMSB 2022. LNCS(), vol. 13447. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15034-0_4","DOI":"10.1007\/978-3-031-15034-0_4"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Dhingra, V., Gaubert, S.: How to solve large scale deterministic games with mean payoff by policy iteration. In: Valuetools \u201906: Proceedings of the 1st International Conference on Performance Evaluation Methodologies and Tools, p.\u00a012. ACM Press, New York, NY, USA (2006)","DOI":"10.1145\/1190095.1190110"},{"issue":"2","key":"31_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF01768705","volume":"8","author":"A Ehrenfeucht","year":"1979","unstructured":"Ehrenfeucht, A., Mycielski, J.: Positional strategies for mean payoff games. Internat. J. Game Theory 8(2), 109\u2013113 (1979)","journal-title":"Internat. J. Game Theory"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Einsiedler, M., Kapranov, M., Lind, D.: Non-archimedean amoebas and tropical varieties. Journal f\u00fcr die reine und angewandte Mathematik (Crelles Journal) 2006(601) (2006)","DOI":"10.1515\/CRELLE.2006.097"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Emiris, I.Z.: Toric resultants and applications to geometric modelling. In: [10], pp. 269\u2013300 (2005)","DOI":"10.1007\/3-540-27357-3_7"},{"issue":"2","key":"31_CR19","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10626-012-0137-z","volume":"23","author":"S Gaubert","year":"2013","unstructured":"Gaubert, S., Sergeev, S.: The level set method for the two-sided max-plus eigenproblem. J. Disc. Event Dyn. Syst. 23(2), 105\u2013134 (2013)","journal-title":"J. Disc. Event Dyn. Syst."},{"issue":"12","key":"31_CR20","doi-asserted-by":"publisher","first-page":"1447","DOI":"10.1016\/j.jsc.2011.12.049","volume":"47","author":"S Gaubert","year":"2012","unstructured":"Gaubert, S., Katz, R.D., Sergeev, S.: Tropical linear-fractional programming and parametric mean payoff games. J. Symb. Comput. 47(12), 1447\u20131478 (2012)","journal-title":"J. Symb. Comput."},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"Gelfand, I.M., Kapranov, M.M., Zelevinsky, A.V.: Discriminants, Resultants, and Multidimensional Determinants. Birkh\u00e4user (1994)","DOI":"10.1007\/978-0-8176-4771-1"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"G\u00f6rlach, P., Ren, Y., Zhang, L.: Computing zero-dimensional tropical varieties via projections. Comput. Complex. 31(1), 5 (2022)","DOI":"10.1007\/s00037-022-00222-9"},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Grigoriev, D., Podolskii, V.: Tropical effective primary and dual Nullstellens\u00e4tze. Discrete Comput. Geom. 59, 507\u2013552 (2018)","DOI":"10.1007\/s00454-018-9966-3"},{"key":"31_CR24","unstructured":"Hansen, T., Miltersen, P., Zwick, U.: Strategy iteration is strongly polynomial for 2-player turn-based stochastic games with a constant discount factor. In: Innovations in Computer Science 2011, pp. 253\u2013263. Tsinghua University Press (2011)"},{"issue":"212","key":"31_CR25","doi-asserted-by":"publisher","first-page":"1541","DOI":"10.1090\/S0025-5718-1995-1297471-4","volume":"64","author":"B Huber","year":"1995","unstructured":"Huber, B., Sturmfels, B.: A polyhedral method for solving sparse polynomial systems. Math. Comput. 64(212), 1541\u20131555 (1995)","journal-title":"Math. Comput."},{"key":"31_CR26","doi-asserted-by":"crossref","unstructured":"Itenberg, I., Mikhalkin, G., Shustin, E.: Tropical algebraic geometry, Oberwolfach Semin., vol.\u00a035. Birkh\u00e4user, Basel, second edn. (2009)","DOI":"10.1007\/978-3-0346-0048-4"},{"issue":"4","key":"31_CR27","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF03026748","volume":"18","author":"I Itenberg","year":"1996","unstructured":"Itenberg, I., Viro, O.: Patchworking algebraic curves disproves the Ragsdale conjecture. Math. Intelligencer 18(4), 19\u201328 (1996)","journal-title":"Math. Intelligencer"},{"issue":"2","key":"31_CR28","doi-asserted-by":"publisher","first-page":"928","DOI":"10.1093\/imrn\/rnaa112","volume":"2022","author":"P Jell","year":"2020","unstructured":"Jell, P., Scheiderer, C., Yu, J.: Real tropicalization and analytification of semialgeaic sets. Int. Math. Res. Not. 2022(2), 928\u2013958 (2020)","journal-title":"Int. Math. Res. Not."},{"key":"31_CR29","unstructured":"Jensen, A.N.: Tropical homotopy continuation (2016). arXiv:1601.02818"},{"key":"31_CR30","unstructured":"L\u00fcders, C.: Computing tropical prevarieties with satisfiability modulo theories (SMT) solvers. In: Fontaine, P., Korovin, K., Kotsireas, I.S., R\u00fcmmer, P., Tourret, S. (eds.) Proceedings of SC2\u201920: Fifth International Workshop on Satisfiability Checking and Symbolic Computation, July 05, 2020, Paris, France. CEUR Workshop Proceedings (CEUR-WS.org) (2020)"},{"key":"31_CR31","doi-asserted-by":"crossref","unstructured":"Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry. Graduate Studies in Mathematics, American Mathematical Society (2015)","DOI":"10.1090\/gsm\/161"},{"issue":"5","key":"31_CR32","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1007\/s10208-016-9320-1","volume":"17","author":"G Malajovich","year":"2016","unstructured":"Malajovich, G.: Computing mixed volume and all mixed cells in quermassintegral time. Found. Comput. Math. 17(5), 1293\u20131334 (2016)","journal-title":"Found. Comput. Math."},{"issue":"4","key":"31_CR33","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1007\/s10208-019-09430-2","volume":"20","author":"T Markwig","year":"2019","unstructured":"Markwig, T., Ren, Y.: Computing tropical varieties over fields with valuation. Found. Comput. Math. 20(4), 783\u2013800 (2019)","journal-title":"Found. Comput. Math."},{"key":"31_CR34","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1090\/S0894-0347-05-00477-7","volume":"18","author":"G Mikhalkin","year":"2005","unstructured":"Mikhalkin, G.: Enumerative tropical algebraic geometry in $$\\mathbb{R} ^{2}$$. J. Amer. Math. Soc. 18, 313\u2013377 (2005)","journal-title":"J. Amer. Math. Soc."},{"issue":"2","key":"31_CR35","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1023\/A:1022497624378","volume":"3","author":"B Sturmfels","year":"1994","unstructured":"Sturmfels, B.: On the newton polytope of the resultant. J. Algebraic Combin. 3(2), 207\u2013236 (1994)","journal-title":"J. Algebraic Combin."},{"issue":"5","key":"31_CR36","first-page":"1","volume":"1","author":"OY Viro","year":"1989","unstructured":"Viro, O.Y.: Real plane algebraic curves: constructions with controlled topology. Algebra i Analiz 1(5), 1\u201373 (1989)","journal-title":"Algebra i Analiz"},{"issue":"1\u20132","key":"31_CR37","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0304-3975(95)00188-3","volume":"158","author":"U Zwick","year":"1996","unstructured":"Zwick, U., Paterson, M.: The complexity of mean payoff games on graphs. Theoret. Comput. Sci. 158(1\u20132), 343\u2013359 (1996)","journal-title":"Theoret. Comput. Sci."}],"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_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T15:25:28Z","timestamp":1721143528000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-64529-7_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031645280","9783031645297"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-64529-7_31","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"}}]}}