{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,10]],"date-time":"2025-11-10T11:44:24Z","timestamp":1762775064088,"version":"build-2065373602"},"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":0,"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"}]},{"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"}]},{"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"}]}],"member":"320","published-online":{"date-parts":[[2025,11,10]]},"reference":[{"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.","key":"e_1_3_3_2_2_2","DOI":"10.1007\/s10208-024-09646-x"},{"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.","key":"e_1_3_3_2_3_2","DOI":"10.1016\/j.jalgebra.2022.09.014"},{"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.","key":"e_1_3_3_2_4_2","DOI":"10.1112\/S1461157013000089"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_5_2","DOI":"10.1090\/gsm\/198"},{"doi-asserted-by":"crossref","unstructured":"Andrei Bengu\u015f-Lasnier. 2021. Minimal pairs truncations and diskoids. Journal of Algebra 579 (2021) 388\u2013427.","key":"e_1_3_3_2_6_2","DOI":"10.1016\/j.jalgebra.2021.03.019"},{"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.","key":"e_1_3_3_2_7_2","DOI":"10.1112\/blms.12604"},{"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.","key":"e_1_3_3_2_8_2","DOI":"10.1016\/j.jpaa.2021.106668"},{"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_9_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.","key":"e_1_3_3_2_10_2","DOI":"10.1007\/s00208-021-02319-y"},{"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.","key":"e_1_3_3_2_11_2","DOI":"10.1016\/j.jalgebra.2014.12.022"},{"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_12_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.","key":"e_1_3_3_2_13_2","DOI":"10.1007\/s10208-012-9137-5"},{"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.","key":"e_1_3_3_2_14_2","DOI":"10.1016\/j.jnt.2014.07.027"},{"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.","key":"e_1_3_3_2_15_2","DOI":"10.1007\/s00209-021-02959-5"},{"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).","key":"e_1_3_3_2_16_2","DOI":"10.1098\/RSOS.242066\/v2\/response1"},{"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).","key":"e_1_3_3_2_17_2","DOI":"10.2139\/ssrn.5204576"},{"unstructured":"Sabrina Kunzweiler. 2021. Models of curves and integral differential forms. Ph.\u00a0D. Dissertation. Universit\u00e4t Ulm.","key":"e_1_3_3_2_18_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_19_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.","key":"e_1_3_3_2_20_2","DOI":"10.1215\/S0012-7094-36-00243-0"},{"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.","key":"e_1_3_3_2_21_2","DOI":"10.1090\/S0002-9947-1936-1501879-8"},{"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.","key":"e_1_3_3_2_22_2","DOI":"10.2969\/jmsj\/03440637"},{"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.","key":"e_1_3_3_2_23_2","DOI":"10.2140\/pjm.2021.311.165"},{"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.","key":"e_1_3_3_2_24_2","DOI":"10.4171\/149-1\/20"},{"doi-asserted-by":"crossref","unstructured":"J. Novacoski and M. Spivakovsky. 2016. On the local uniformization problem. Banach Center Publ. 108 (2016) 231\u2013238.","key":"e_1_3_3_2_25_2","DOI":"10.4064\/bc108-0-17"},{"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","key":"e_1_3_3_2_26_2","DOI":"10.3792\/pjaa.58.47"},{"doi-asserted-by":"crossref","unstructured":"\u00d8. Ore. 1923. Zur Theorie der algebraischen K\u00f6rper. Acta Mathematica 44 (1923) 219\u2013314.","key":"e_1_3_3_2_27_2","DOI":"10.1007\/BF02403925"},{"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.","key":"e_1_3_3_2_28_2","DOI":"10.1007\/BF01459087"},{"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_29_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.","key":"e_1_3_3_2_30_2","DOI":"10.5802\/ahl.97"},{"doi-asserted-by":"publisher","key":"e_1_3_3_2_31_2","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."},{"unstructured":"Julian R\u00fcth. 2015. Models of curves and valuations. Ph.\u00a0D. Dissertation. Universit\u00e4t Ulm.","key":"e_1_3_3_2_33_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_34_2"},{"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."},{"doi-asserted-by":"crossref","unstructured":"M. Vaqui\u00e9. 2007. Extension d\u2019une valuation. Transaction of American Maths Society 359 7 (2007) 3439\u20133481.","key":"e_1_3_3_2_36_2","DOI":"10.1090\/S0002-9947-07-04184-0"}],"event":{"sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"acronym":"ISSAC '25","name":"ISSAC '25: International Symposium on Symbolic and Algebraic Computation","location":"Guanajuato Mexico"},"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"}}]}}