{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T02:17:03Z","timestamp":1772763423824,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,16]],"date-time":"2024-07-16T00:00:00Z","timestamp":1721088000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,16]]},"DOI":"10.1145\/3666000.3669690","type":"proceedings-article","created":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T13:18:51Z","timestamp":1721049531000},"page":"188-197","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Gr\u00f6bner Bases Over Polytopal Affinoid Algebras"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9892-9448","authenticated-orcid":false,"given":"Moulay","family":"Barkatou","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Limoges, France"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-5797-8228","authenticated-orcid":false,"given":"Lucas","family":"Legrand","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Limoges, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4208-8349","authenticated-orcid":false,"given":"Tristan","family":"Vaccon","sequence":"additional","affiliation":[{"name":"Computer Science, Universit\u00e9 de Limoges, France"}]}],"member":"320","published-online":{"date-parts":[[2024,7,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3326229.3326257"},{"key":"e_1_3_2_1_2_1","volume-title":"Signature-Based Algorithms for Gr\u00f6bner Bases over Tate Algebras(ISSAC \u201920)","author":"Caruso Xavier","unstructured":"Xavier Caruso, Tristan Vaccon, and Thibaut Verron. 2020. Signature-Based Algorithms for Gr\u00f6bner Bases over Tate Algebras(ISSAC \u201920). Association for Computing Machinery, New York, NY, USA."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452143.3465521"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3476446.3535491"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1515\/CRELLE.2006.097"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Netanel Friedenberg and Kalina Mincheva. 2023. Tropical adic spaces I: The continuous spectrum of a topological semiring. arxiv:2209.15116","DOI":"10.1007\/s40687-024-00467-6"},{"key":"e_1_3_2_1_7_1","volume-title":"The Bogomolov conjecture for totally degenerate abelian varieties. Inventiones mathematicae 169, 2","author":"Gubler Walter","year":"2007","unstructured":"Walter Gubler. 2007. The Bogomolov conjecture for totally degenerate abelian varieties. Inventiones mathematicae 169, 2 (2007), 377\u2013400."},{"key":"e_1_3_2_1_8_1","volume-title":"Tropical varieties for non-Archimedean analytic spaces. Inventiones mathematicae 169, 2","author":"Gubler Walter","year":"2007","unstructured":"Walter Gubler. 2007. Tropical varieties for non-Archimedean analytic spaces. Inventiones mathematicae 169, 2 (2007), 321\u2013376."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002000050108"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aim.2012.02.003"},{"key":"e_1_3_2_1_11_1","volume-title":"Rev\u00eatements de la droite affine en caract\u00e9ristique p> 0 et conjecture d\u2019Abhyankar. Inventiones mathematicae 116","author":"Raynaud Michel","year":"1994","unstructured":"Michel Raynaud. 1994. Rev\u00eatements de la droite affine en caract\u00e9ristique p> 0 et conjecture d\u2019Abhyankar. Inventiones mathematicae 116 (1994), 425\u2013462."},{"key":"e_1_3_2_1_12_1","volume-title":"Rigid analytic spaces. Inventiones mathematicae 12, 4","author":"Tate John","year":"1971","unstructured":"John Tate. 1971. Rigid analytic spaces. Inventiones mathematicae 12, 4 (1971), 257\u2013289."},{"key":"e_1_3_2_1_13_1","unstructured":"The Sage Developers. 2024. SageMath the Sage Mathematics Software System (Version 10.3). https:\/\/www.sagemath.org."},{"key":"e_1_3_2_1_14_1","volume-title":"Universal Analytic Gr\u00f6bner Bases and Tropical Geometry(ISSAC \u201923)","author":"Vaccon Tristan","unstructured":"Tristan Vaccon and Thibaut Verron. 2023. Universal Analytic Gr\u00f6bner Bases and Tropical Geometry(ISSAC \u201923). Association for Computing Machinery, New York, NY, USA, 517\u2013525."}],"event":{"name":"ISSAC '24: International Symposium on Symbolic and Algebraic Computation","location":"Raleigh NC USA","acronym":"ISSAC '24","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669690","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3666000.3669690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T00:54:01Z","timestamp":1758588841000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3666000.3669690"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,16]]},"references-count":14,"alternative-id":["10.1145\/3666000.3669690","10.1145\/3666000"],"URL":"https:\/\/doi.org\/10.1145\/3666000.3669690","relation":{},"subject":[],"published":{"date-parts":[[2024,7,16]]},"assertion":[{"value":"2024-07-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}