{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T06:39:06Z","timestamp":1772606346707,"version":"3.50.1"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T00:00:00Z","timestamp":1581984000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T00:00:00Z","timestamp":1581984000000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-12-INSE-0007"],"award-info":[{"award-number":["ANR-12-INSE-0007"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-13-INSE-0003"],"award-info":[{"award-number":["ANR-13-INSE-0003"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-11-LABX-0056-LMH"],"award-info":[{"award-number":["ANR-11-LABX-0056-LMH"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003990","name":"Conseil R\u00e9gional, \u00cele-de-France","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003990","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Comput Geom"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1007\/s00454-020-00176-1","type":"journal-article","created":{"date-parts":[[2020,2,18]],"date-time":"2020-02-18T16:20:49Z","timestamp":1582042849000},"page":"507-548","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Tropical Spectrahedra"],"prefix":"10.1007","volume":"63","author":[{"given":"Xavier","family":"Allamigeon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Gaubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5650-5559","authenticated-orcid":false,"given":"Mateusz","family":"Skomra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,18]]},"reference":[{"key":"176_CR1","doi-asserted-by":"crossref","unstructured":"Akian, M., Gaubert, S., Guterman, A.: Linear independence over tropical semirings and beyond. In: Litvinov, G.L., Sergeev, S.N. (eds.) Proceedings of the International Conference on Tropical and Idempotent Mathematics. Contemporary Mathematics, vol. 495, pp. 1\u201338. American Mathematical Society, Providence (2009)","DOI":"10.1090\/conm\/495\/09689"},{"issue":"1","key":"176_CR2","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1515\/advgeom-2012-0020","volume":"13","author":"D Alessandrini","year":"2013","unstructured":"Alessandrini, D.: Logarithmic limit sets of real semi-algebraic sets. Adv. Geom. 13(1), 155\u2013190 (2013)","journal-title":"Adv. Geom."},{"issue":"2","key":"176_CR3","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1137\/130936464","volume":"29","author":"X Allamigeon","year":"2015","unstructured":"Allamigeon, X., Benchimol, P., Gaubert, S., Joswig, M.: Tropicalizing the simplex algorithm. SIAM J. Discrete Math. 29(2), 751\u2013795 (2015)","journal-title":"SIAM J. Discrete Math."},{"issue":"1","key":"176_CR4","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1137\/17M1142132","volume":"2","author":"X Allamigeon","year":"2018","unstructured":"Allamigeon, X., Benchimol, P., Gaubert, S., Joswig, M.: Log-barrier interior point methods are not strongly polynomial. SIAM J. Appl. Algebra Geom. 2(1), 140\u2013178 (2018)","journal-title":"SIAM J. Appl. Algebra Geom."},{"key":"176_CR5","unstructured":"Allamigeon, X., Gaubert, S., Katz, R.D., Skomra, M.: Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming. In: Proceedings of the 23rd International Symposium on Mathematical Theory of Networks and Systems (MTNS), pp. 160\u2013167. http:\/\/mtns2018.ust.hk\/media\/files\/0213.pdf (2018)"},{"key":"176_CR6","doi-asserted-by":"crossref","unstructured":"Allamigeon, X., Gaubert, S., Skomra, M.: Solving generic nonarchimedean semidefinite programs using stochastic game algorithms. J. Symbolic Comp. 85, 25\u201354 (2018). This is an extended version of an article which apppeared in the Proceedings of the 41st International Symposium on Symbolic and Algebraic Computation (ISSAC 2016)","DOI":"10.1016\/j.jsc.2017.07.002"},{"key":"176_CR7","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.jsc.2018.06.017","volume":"91","author":"Xavier Allamigeon","year":"2019","unstructured":"Allamigeon, X., Gaubert, S., Skomra, M.: The tropical analogue of the Helton\u2013Nie conjecture is true. J. Symbolic Comput. 91, 129\u2013148 (2019). This is an extended version of an article presented at MEGA 2017, Effective Methods in Algebraic Geometry, Nice (France), June 12\u201316, 2017","journal-title":"Journal of Symbolic Computation"},{"key":"176_CR8","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-10631-6_13","volume-title":"Algorithms and Computation","author":"Daniel Andersson","year":"2009","unstructured":"Andersson, D., Miltersen, P.B.: The complexity of solving stochastic games on graphs. In: Dong, Y. et al. (eds.) Proceedings of the 20th International Symposium on Algorithms and Computation (ISAAC). Lecture Notes in Computer Science, vol. 5878, pp. 112\u2013121. Springer, Berlin (2009)"},{"issue":"3\u20134","key":"176_CR9","doi-asserted-by":"publisher","first-page":"525","DOI":"10.5802\/afst.1255","volume":"19","author":"F Aroca","year":"2010","unstructured":"Aroca, F.: Krull-tropical hypersurfaces. Ann. Fac. Sci. Toulouse Math. 19(3\u20134), 525\u2013538 (2010)","journal-title":"Ann. Fac. Sci. Toulouse Math."},{"key":"176_CR10","doi-asserted-by":"publisher","first-page":"821","DOI":"10.1016\/j.aim.2018.12.004","volume":"343","author":"M Baker","year":"2019","unstructured":"Baker, M., Bowler, N.: Matroids over partial hyperstructures. Adv. Math. 343, 821\u2013863 (2019)","journal-title":"Adv. Math."},{"key":"176_CR11","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1515\/crelle-2012-0124","volume":"698","author":"SD Banerjee","year":"2015","unstructured":"Banerjee, S.D.: Tropical geometry over higher dimensional local fields. J. Reine Angew. Math. 698, 71\u201387 (2015)","journal-title":"J. Reine Angew. Math."},{"key":"176_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics","author":"S Basu","year":"2006","unstructured":"Basu, S., Pollack, R.: Algorithms in Real Algebraic Geometry. Algorithms and Computation in Mathematics, vol. 10, 2nd edn. Springer, Berlin (2006)","edition":"2"},{"issue":"2","key":"176_CR13","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1006\/aima.2001.2059","volume":"169","author":"F Bihan","year":"2002","unstructured":"Bihan, F.: Viro method for the construction of real complete intersections. Adv. Math. 169(2), 177\u2013186 (2002)","journal-title":"Adv. Math."},{"key":"176_CR14","doi-asserted-by":"crossref","unstructured":"Blekherman, G., Parrilo, P.A., Thomas, R.R. (eds.): Semidefinite Optimization and Convex Algebraic Geometry. MOS-SIAM Series on Optimization, vol.\u00a013. SIAM, Philadelphia (2013)","DOI":"10.1145\/2465506.2466575"},{"key":"176_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84996-299-5","volume-title":"Max-linear Systems: Theory and Algorithms. Springer Monographs in Mathematics","author":"P Butkovi\u010d","year":"2010","unstructured":"Butkovi\u010d, P.: Max-linear Systems: Theory and Algorithms. Springer Monographs in Mathematics. Springer, London (2010)"},{"issue":"4","key":"176_CR16","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1016\/j.ansens.2006.03.001","volume":"39","author":"R Cluckers","year":"2006","unstructured":"Cluckers, R., Lipshitz, L., Robinson, Z.: Analytic cell decomposition and analytic motivic integration. Ann. Sci. \u00c9c. Norm. Sup\u00e9r. 39(4), 535\u2013568 (2006)","journal-title":"Ann. Sci. \u00c9c. Norm. Sup\u00e9r."},{"issue":"2","key":"176_CR17","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1016\/j.jnt.2010.09.001","volume":"131","author":"A Connes","year":"2011","unstructured":"Connes, A., Consani, C.: The hyperring of ad\u00e8le classes. J. Number Theory 131(2), 159\u2013194 (2011)","journal-title":"J. Number Theory"},{"issue":"1","key":"176_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01389133","volume":"77","author":"J Denef","year":"1984","unstructured":"Denef, J.: The rationality of the Poincar\u00e9 series associated to the $$p$$-adic points on a variety. Invent. Math. 77(1), 1\u201323 (1984)","journal-title":"Invent. Math."},{"key":"176_CR19","first-page":"154","volume":"369","author":"J Denef","year":"1986","unstructured":"Denef, J.: $$p$$-adic semi-algebraic sets and cell decomposition. J. Reine Angew. Math. 369, 154\u2013166 (1986)","journal-title":"J. Reine Angew. Math."},{"issue":"3","key":"176_CR20","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1080\/10586458.2007.10129009","volume":"16","author":"M Develin","year":"2007","unstructured":"Develin, M., Yu, J.: Tropical polytopes and cellular resolutions. Exp. Math. 16(3), 277\u2013291 (2007)","journal-title":"Exp. Math."},{"issue":"11","key":"176_CR21","doi-asserted-by":"publisher","first-page":"4377","DOI":"10.1090\/S0002-9947-98-02105-9","volume":"350","author":"L van den Dries","year":"1998","unstructured":"van den Dries, L., Speissegger, P.: The real field with convergent generalized power series. Trans. Am. Math. Soc. 350(11), 4377\u20134421 (1998)","journal-title":"Trans. Am. Math. Soc."},{"key":"176_CR22","first-page":"139","volume":"601","author":"M Einsiedler","year":"2006","unstructured":"Einsiedler, M., Kapranov, M., Lind, D.: Non-archimedean amoebas and tropical varieties. J. Reine Angew. Math. 601, 139\u2013157 (2006)","journal-title":"J. Reine Angew. Math."},{"key":"176_CR23","volume-title":"Valued Fields. Springer Monographs in Mathematics","author":"AJ Engler","year":"2005","unstructured":"Engler, A.J., Prestel, A.: Valued Fields. Springer Monographs in Mathematics. Springer, Berlin (2005)"},{"key":"176_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22015-9","volume-title":"Approximation Algorithms and Semidefinite Programming","author":"B G\u00e4rtner","year":"2012","unstructured":"G\u00e4rtner, B., Matou\u0161ek, J.: Approximation Algorithms and Semidefinite Programming. Springer, Heidelberg (2012)"},{"issue":"2","key":"176_CR25","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1137\/07070526X","volume":"20","author":"JW Helton","year":"2009","unstructured":"Helton, J.W., Nie, J.: Sufficient and necessary conditions for semidefinite representability of convex hulls and sets. SIAM J. Optim. 20(2), 759\u2013791 (2009)","journal-title":"SIAM J. Optim."},{"key":"176_CR26","unstructured":"Jell, P., Scheiderer, C., Yu, J.: Real tropicalization and analytification of semialgebraic sets. arXiv:1810.05132 (2018)"},{"key":"176_CR27","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 (2015)"},{"key":"176_CR28","volume-title":"Model Theory: An Introduction. Graduate Texts in Mathematics","author":"D Marker","year":"2002","unstructured":"Marker, D.: Model Theory: An Introduction. Graduate Texts in Mathematics, vol. 217. Springer, New York (2002)"},{"issue":"1","key":"176_CR29","first-page":"79","volume":"68","author":"T Markwig","year":"2010","unstructured":"Markwig, T.: A field of generalized Puiseux series for tropical geometry. Rend. Sem. Mat. Univ. Politec. Torino 68(1), 79\u201392 (2010)","journal-title":"Rend. Sem. Mat. Univ. Politec. Torino"},{"key":"176_CR30","first-page":"137","volume":"399","author":"J Pas","year":"1989","unstructured":"Pas, J.: Uniform $$p$$-adic cell decomposition and local zeta functions. J. Reine Angew. Math. 399, 137\u2013172 (1989)","journal-title":"J. Reine Angew. Math."},{"issue":"3","key":"176_CR31","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1112\/plms\/s3-60.1.37","volume":"60","author":"J Pas","year":"1990","unstructured":"Pas, J.: Cell decomposition and local zeta functions in a tower of unramified extensions of a $$p$$-adic field. Proc. Lond. Math. Soc. 60(3), 37\u201367 (1990)","journal-title":"Proc. Lond. Math. Soc."},{"issue":"3","key":"176_CR32","doi-asserted-by":"publisher","first-page":"1125","DOI":"10.2307\/2274477","volume":"55","author":"J Pas","year":"1990","unstructured":"Pas, J.: On the angular component map modulo $$P$$. J. Symb. Log. 55(3), 1125\u20131129 (1990)","journal-title":"J. Symb. Log."},{"issue":"2","key":"176_CR33","first-page":"129","volume":"77","author":"MV Ramana","year":"1997","unstructured":"Ramana, M.V.: An exact duality theory for semidefinite programming and its complexity implications. Math. Program. 77(2), 129\u2013162 (1997)","journal-title":"Math. Program."},{"issue":"2","key":"176_CR34","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/BF02567077","volume":"75","author":"P Ribenboim","year":"1992","unstructured":"Ribenboim, P.: Fields: algebraically closed and others. Manuscr. Math. 75(2), 115\u2013150 (1992)","journal-title":"Manuscr. Math."},{"issue":"1","key":"176_CR35","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1137\/17M1118981","volume":"2","author":"C Scheiderer","year":"2018","unstructured":"Scheiderer, C.: Spectrahedral shadows. SIAM J. Appl. Algebra Geom. 2(1), 26\u201344 (2018)","journal-title":"SIAM J. Appl. Algebra Geom."},{"key":"176_CR36","unstructured":"Skomra, M.: Tropical spectrahedra: Application to semidefinite programming and mean payoff games. PhD thesis, Universit\u00e9 Paris-Saclay (2018). https:\/\/pastel.archives-ouvertes.fr\/tel-01958741"},{"issue":"3","key":"176_CR37","first-page":"377","volume":"21","author":"B Sturmfels","year":"1994","unstructured":"Sturmfels, B.: Viro\u2019s theorem for complete intersections. Ann. Sc. Norm. Super. Pisa Cl. Sci. 21(3), 377\u2013386 (1994)","journal-title":"Ann. Sc. Norm. Super. Pisa Cl. Sci."},{"key":"176_CR38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139015417","volume-title":"A Course in Model Theory. Lecture Notes in Logic","author":"K Tent","year":"2012","unstructured":"Tent, K., Ziegler, M.: A Course in Model Theory. Lecture Notes in Logic, vol. 40. Cambridge University Press, Cambridge (2012)"},{"key":"176_CR39","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-0348-0411-0_23","volume-title":"Mathematical Methods in Systems, Optimization, and Control. Operator Theory: Advances and Applications","author":"V Vinnikov","year":"2012","unstructured":"Vinnikov, V.: LMI representations of convex semialgebraic sets and determinantal representations of algebraic hypersurfaces: past, present, and future. In: Dym, H., de Oliveira, M.C., Putinar, M. (eds.) Mathematical Methods in Systems, Optimization, and Control. Operator Theory: Advances and Applications, vol. 222, pp. 325\u2013349. Springer, Basel (2012)"},{"key":"176_CR40","unstructured":"Viro, O.Ya.: Real plane algebraic curves: constructions with controlled topology. Leningrad Math. J. 1(5), 1059\u20131134 (1990)"},{"key":"176_CR41","unstructured":"Viro, O.: Hyperfields for tropical geometry I. Hyperfields and dequantization. arXiv:1006.3034 (2010)"},{"key":"176_CR42","first-page":"419","volume-title":"Models and Sets. Lecture Notes in Mathematics","author":"V Weispfenning","year":"1984","unstructured":"Weispfenning, V.: Quantifier elimination and decision procedures for valued fields. In: M\u00fcller, G.H., Richter, M.M. (eds.) Models and Sets. Lecture Notes in Mathematics, vol. 1103, pp. 419\u2013472. Springer, Berlin (1984)"},{"issue":"5","key":"176_CR43","doi-asserted-by":"publisher","first-page":"1891","DOI":"10.1090\/S0002-9939-2014-12428-2","volume":"143","author":"J Yu","year":"2015","unstructured":"Yu, J.: Tropicalizing the positive semidefinite cone. Proc. Am. Math. Soc. 143(5), 1891\u20131895 (2015)","journal-title":"Proc. Am. Math. Soc."}],"container-title":["Discrete & Computational Geometry"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-020-00176-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00454-020-00176-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00454-020-00176-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T02:39:49Z","timestamp":1695782389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00454-020-00176-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,18]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,4]]}},"alternative-id":["176"],"URL":"https:\/\/doi.org\/10.1007\/s00454-020-00176-1","relation":{},"ISSN":["0179-5376","1432-0444"],"issn-type":[{"value":"0179-5376","type":"print"},{"value":"1432-0444","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,18]]},"assertion":[{"value":"15 September 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 December 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 January 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 February 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}