{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T03:12:15Z","timestamp":1783653135039,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","funder":[{"name":"ANR","award":["ANR-24-CE48-4035"],"award-info":[{"award-number":["ANR-24-CE48-4035"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,28]]},"DOI":"10.1145\/3747199.3747581","type":"proceedings-article","created":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T10:51:17Z","timestamp":1762771877000},"page":"363-372","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On OM Algorithms and Cluster Pictures"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7493-3001","authenticated-orcid":false,"given":"Adrien","family":"Poteaux","sequence":"first","affiliation":[{"name":"Universit\u00e9 Lille, Villeneuve d'Ascq, 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":"XLIM, Universit\u00e9 de Limoges, Limoges, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8109-5659","authenticated-orcid":false,"given":"Martin","family":"Weimann","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Caen-Normandie, Caen, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"crossref","unstructured":"Maria Alberich-Carrami\u00f1ana Jordi Gu\u00e0rdia Enric Nart Adrien Poteaux Joaquim Ro\u00e9 and Martin Weimann. 2024. Polynomial factorization over henselian fields. Foundations of Computational Mathematics (2024) 1\u201351.","DOI":"10.1007\/s10208-024-09646-x"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"crossref","unstructured":"Maria Alberich-Carrami\u00f1ana Jordi Gu\u00e0rdia Enric Nart and Joaquim Ro\u00e9. 2023. Valuative trees over valued fields. Journal of Algebra 614 (2023) 71\u2013114.","DOI":"10.1016\/j.jalgebra.2022.09.014"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"crossref","unstructured":"Jens-Dietrich Bauch Enric Nart and Hayden Stainsby. 2013. Complexity of the OM Factorizations of Polynomials over Local Fields. LMS Journal of Computation and Mathematics 16 (2013) 139\u2013171.","DOI":"10.1112\/S1461157013000089"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","DOI":"10.1090\/gsm\/198"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"crossref","unstructured":"Andrei Bengu\u015f-Lasnier. 2021. Minimal pairs truncations and diskoids. Journal of Algebra 579 (2021) 388\u2013427.","DOI":"10.1016\/j.jalgebra.2021.03.019"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Alex\u00a0J Best L\u00a0Alexander Betts Matthew Bisatt Raymond van Bommel Vladimir Dokchitser Omri Faraggi Sabrina Kunzweiler C\u00e9line Maistret Adam Morgan Simone Muselli et\u00a0al. 2022. A user\u2019s guide to the local arithmetic of hyperelliptic curves. Bulletin of the London Mathematical Society 54 3 (2022) 825\u2013867.","DOI":"10.1112\/blms.12604"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"crossref","unstructured":"Nath\u00e1lia\u00a0Moraes de Oliveira and Enric Nart. 2021. Computation of residual polynomial operators of inductive valuations. Journal of Pure and Applied Algebra 225 9 (2021) 106668.","DOI":"10.1016\/j.jpaa.2021.106668"},{"key":"e_1_3_3_2_9_2","unstructured":"Tim Dokchitser. 2025. redlib: Reduction types of curves in Magma Python and JavaScript. https:\/\/people.maths.bris.ac.uk\/\u00a0matyd\/redlib\/"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"crossref","unstructured":"Tim Dokchitser Vladimir Dokchitser C\u00e9line Maistret and Adam Morgan. 2023. Arithmetic of hyperelliptic curves over local fields. Math. Ann. 385 3 (2023) 1213\u20131322.","DOI":"10.1007\/s00208-021-02319-y"},{"key":"e_1_3_3_2_11_2","doi-asserted-by":"crossref","unstructured":"Julio Fern\u00e1ndez Jordi Gu\u00e0rdia Jes\u00fas Montes and Enric Nart. 2015. Residual ideals of MacLane valuations. Journal of Algebra 427 (2015) 30\u201375.","DOI":"10.1016\/j.jalgebra.2014.12.022"},{"key":"e_1_3_3_2_12_2","unstructured":"Jordi Gu\u00e0rdia Jes\u00fas Montes and Enric Nart. 2013. Arithmetic in big number fields: The \u2019+Ideals\u2019 package. arXiv:https:\/\/arXiv.org\/abs\/ 1005.4596 (2013)."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"crossref","unstructured":"Jordi Gu\u00e0rdia Jes\u00fas Montes and Enric Nart. 2013. A New Computational Approach to Ideal Theory in Number Fields. Foundations of Computational Mathematics 13 5 (2013) 729\u2013762.","DOI":"10.1007\/s10208-012-9137-5"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"crossref","unstructured":"Jordi Gu\u00e0rdia Jes\u00fas Montes and Enric Nart. 2015. Higher Newton polygons and integral bases. Journal of Number Theory 147 (2015) 549\u2013589.","DOI":"10.1016\/j.jnt.2014.07.027"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"crossref","unstructured":"Paul\u00a0Alexander Helminck. 2022. Invariants for trees of non-archimedean polynomials and skeleta of superelliptic curves. Mathematische Zeitschrift 301 2 (2022) 1259\u20131297.","DOI":"10.1007\/s00209-021-02959-5"},{"key":"e_1_3_3_2_16_2","doi-asserted-by":"crossref","unstructured":"Lilybelle\u00a0Cowland Kellock. 2024. Recovering the cluster picture of a polynomial over a discretely valued field. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2410.17148 (2024).","DOI":"10.1098\/RSOS.242066\/v2\/response1"},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Lilybelle\u00a0Cowland Kellock and Elisa Lorenzo. 2025. Invariants recovering the reduction type of a hyperelliptic curve. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2502.08487 (2025).","DOI":"10.2139\/ssrn.5204576"},{"key":"e_1_3_3_2_18_2","unstructured":"Sabrina Kunzweiler. 2021. Models of curves and integral differential forms. Ph.\u00a0D. Dissertation. Universit\u00e4t Ulm."},{"key":"e_1_3_3_2_19_2","unstructured":"Sabrina Kunzweiler and Stefan Wewers. 2023. Integral differential forms for superelliptic curves. arxiv:https:\/\/arXiv.org\/abs\/2003.12357"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Saunders Mac\u00a0Lane. 1936. A construction for prime ideals as absolute values of an algebraic field. Duke Math. J. 2 3 (1936) 492\u2013510.","DOI":"10.1215\/S0012-7094-36-00243-0"},{"key":"e_1_3_3_2_21_2","doi-asserted-by":"crossref","unstructured":"Saunders MacLane. 1936. A construction for absolute values in polynomial rings. Trans. Amer. Math. Soc. 40 3 (1936) 363\u2013395.","DOI":"10.1090\/S0002-9947-1936-1501879-8"},{"key":"e_1_3_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Tzuong-Tsieng Moh. 1982. On two fundamental theorems for the concept of approximate roots. Journal of the Mathematical Society of Japan 34 4 (1982) 637\u2013652.","DOI":"10.2969\/jmsj\/03440637"},{"key":"e_1_3_3_2_23_2","doi-asserted-by":"crossref","unstructured":"Enric Nart. 2021. MacLane\u2013Vaqui\u00e9 chains of valuations on a polynomial ring. Pacific J. Math. 311 1 (2021) 165\u2013195.","DOI":"10.2140\/pjm.2021.311.165"},{"key":"e_1_3_3_2_24_2","doi-asserted-by":"crossref","unstructured":"J. Novacoski and M. Spivakovsky. 2014. Reduction of local uniformization to the rank one case. Valuation Theory in Interaction (2014) 404\u2013431.","DOI":"10.4171\/149-1\/20"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"crossref","unstructured":"J. Novacoski and M. Spivakovsky. 2016. On the local uniformization problem. Banach Center Publ. 108 (2016) 231\u2013238.","DOI":"10.4064\/bc108-0-17"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"K\u014dsaku Okutsu. 1982. Construction of integral basis I. Proc. Japan Acad. Ser. A Math. Sci.1 (1982) 47\u201349. 10.3792\/pjaa.58.47","DOI":"10.3792\/pjaa.58.47"},{"key":"e_1_3_3_2_27_2","doi-asserted-by":"crossref","unstructured":"\u00d8. Ore. 1923. Zur Theorie der algebraischen K\u00f6rper. Acta Mathematica 44 (1923) 219\u2013314.","DOI":"10.1007\/BF02403925"},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"crossref","unstructured":"\u00d8. Ore. 1928. Newtonsche Polygone in der Theorie der algebraischen K\u00f6rperZur Theorie der algebraischen K\u00f6rper. Math. Annalen 99 (1928) 84\u2013117.","DOI":"10.1007\/BF01459087"},{"key":"e_1_3_3_2_29_2","unstructured":"Jes\u00fas\u00a0Montes Peral. 1999. Pol\u00edgonos de newton de orden superior y aplicaciones aritm\u00e9ticas. Ph.\u00a0D. Dissertation. Universitat de Barcelona."},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"crossref","unstructured":"Adrien Poteaux and Martin Weimann. 2021. Computing Puiseux series: a fast divide and conquer algorithm. Annales Henri Lebesgue 4 (2021) 1061\u20131102.","DOI":"10.5802\/ahl.97"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/3476446.3535487"},{"key":"e_1_3_3_2_32_2","first-page":"292","volume-title":"Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation","author":"Poteaux Adrien","year":"2024","unstructured":"Adrien Poteaux and Martin Weimann. 2024. Fast Integral Bases Computation. In Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. 292\u2013313."},{"key":"e_1_3_3_2_33_2","unstructured":"Julian R\u00fcth. 2015. Models of curves and valuations. Ph.\u00a0D. Dissertation. Universit\u00e4t Ulm."},{"key":"e_1_3_3_2_34_2","unstructured":"Julian R\u00fcth and Stefan Wewers. 2025. MCLF: A Sage toolbox for computations with Models of Curves over Local Fields. https:\/\/github.com\/MCLF\/mclf"},{"key":"e_1_3_3_2_35_2","volume-title":"SageMath, the Sage Mathematics Software System (Version 9.2)","author":"Developers The Sage","year":"2020","unstructured":"The Sage Developers. 2020. SageMath, the Sage Mathematics Software System (Version 9.2). https:\/\/www.sagemath.org."},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"crossref","unstructured":"M. Vaqui\u00e9. 2007. Extension d\u2019une valuation. Transaction of American Maths Society 359 7 (2007) 3439\u20133481.","DOI":"10.1090\/S0002-9947-07-04184-0"}],"event":{"name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","location":"Guanajuato Mexico","acronym":"ISSAC '25","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747199.3747581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:39:22Z","timestamp":1762774762000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747199.3747581"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,28]]},"references-count":35,"alternative-id":["10.1145\/3747199.3747581","10.1145\/3747199"],"URL":"https:\/\/doi.org\/10.1145\/3747199.3747581","relation":{},"subject":[],"published":{"date-parts":[[2025,7,28]]},"assertion":[{"value":"2025-11-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}