{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T17:13:30Z","timestamp":1783617210848,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,12]],"date-time":"2026-07-12T00:00:00Z","timestamp":1783814400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,13]]},"DOI":"10.1145\/3815436.3815464","type":"proceedings-article","created":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:11:51Z","timestamp":1783613511000},"page":"133-141","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["On Semidefinite-Representable Sets over Valued Fields"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-0085-4288","authenticated-orcid":false,"given":"Corentin","family":"Cornou","sequence":"first","affiliation":[{"name":"ENS Paris-Saclay, Universit\u00e9 Paris-Saclay, Gif-sur-Yvette, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4556-6935","authenticated-orcid":false,"given":"Simone","family":"Naldi","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Limoges, Limoges, France and CNRS, Limoges, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4208-8349","authenticated-orcid":false,"given":"Tristan","family":"Vaccon","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Limoges, Limoges, France and CNRS, Limoges, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,12]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/2930889.2930935"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"crossref","unstructured":"X. Allamigeon S. Gaubert and M. Skomra. 2019. The tropical analogue of the Helton\u2013Nie conjecture is true. Journal of Symbolic Computation 91 (2019) 129\u2013148.","DOI":"10.1016\/j.jsc.2018.06.017"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"X. Allamigeon S. Gaubert and M. Skomra. 2020. Tropical spectrahedra. Discrete & Computational Geometry 63 3 (April 2020) 507\u2013548. 10.1007\/s00454-020-00176-1arXiv:https:\/\/arXiv.org\/abs\/1610.06746 [math].","DOI":"10.1007\/s00454-020-00176-1"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Andrei Bengu\u015f-Lasnier. 2021. Minimal pairs truncations and diskoids. Journal of Algebra 579 (2021) 388\u2013427. 10.1016\/j.jalgebra.2021.03.019","DOI":"10.1016\/j.jalgebra.2021.03.019"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"X. Caruso. 2017. Computations with p-adic numbers. 10.48550\/arXiv.1701.06794arXiv:https:\/\/arXiv.org\/abs\/1701.06794 [cs math].","DOI":"10.48550\/arXiv.1701.06794"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"M. Develin and B. Sturmfels. 2004. Tropical convexity. Documenta Mathematica 9 (2004) 1\u201327.","DOI":"10.4171\/dm\/154"},{"key":"e_1_3_3_1_8_2","volume-title":"Valued fields","author":"Engler A.\u00a0J.","year":"2005","unstructured":"A.\u00a0J. Engler and A. Prestel. 2005. Valued fields. Springer Science & Business Media."},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"J.\u00a0W. Helton and J. Nie. 2009. Sufficient and necessary conditions for semidefinite representability of convex hulls and sets. SIAM J. Optim. 20 2 (2009) 759\u2013791.","DOI":"10.1137\/07070526X"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1142\/q0252"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"D. Henrion S. Naldi and M. Safey El\u00a0Din. 2016. Exact algorithms for linear matrix inequalities. SIAM Journal on Optimization 26 4 (2016) 2512\u20132539.","DOI":"10.1137\/15M1036543"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"S. Naldi. 2018. Solving rank-constrained semidefinite programs in exact arithmetic. Journal of Symbolic Computation 85 (2018) 206\u2013223. 10.1016\/j.jsc.2017.07.009","DOI":"10.1016\/j.jsc.2017.07.009"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/3747199.3747570"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.4171\/022-1\/17"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-26455-9"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"L. Porkolab and L. Khachiyan. 1997. On the complexity of semidefinite programs. Journal of Global Optimization 10 4 (1997) 351\u2013365.","DOI":"10.1023\/A:1008203903341"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"J. Renegar. 1992. On the computational complexity and geometry of the first-order theory of the reals. Part I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals. Journal of symbolic computation 13 3 (1992) 255\u2013299.","DOI":"10.1016\/S0747-7171(10)80003-3"},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","unstructured":"J. R\u00fcth. 2015. Models of curves and valuations. PhD Dissertation Universit\u00e4t Ulm. 10.18725\/OPARU-3275","DOI":"10.18725\/OPARU-3275"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"C. Scheiderer. 2018. Spectrahedral shadows. SIAM Journal on Applied Algebra and Geometry 2 1 (2018) 26\u201344.","DOI":"10.1137\/17M1118981"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5673-9"}],"event":{"name":"ISSAC '26: 51st International Symposium on Symbolic and Algebraic Computation","location":"Oldenburg , Germany","acronym":"ISSAC '26"},"container-title":["Proceedings of the 2026 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"deposited":{"date-parts":[[2026,7,9]],"date-time":"2026-07-09T16:23:35Z","timestamp":1783614215000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3815436.3815464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,12]]},"references-count":19,"alternative-id":["10.1145\/3815436.3815464","10.1145\/3815436"],"URL":"https:\/\/doi.org\/10.1145\/3815436.3815464","relation":{},"subject":[],"published":{"date-parts":[[2026,7,12]]},"assertion":[{"value":"2026-07-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}