{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T02:12:05Z","timestamp":1772763125322,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T00:00:00Z","timestamp":1656892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian FWF","award":["P34872"],"award-info":[{"award-number":["P34872"]}]},{"name":"ANR","award":["ANR-18-CE40-0026-01"],"award-info":[{"award-number":["ANR-18-CE40-0026-01"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,4]]},"DOI":"10.1145\/3476446.3535491","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T13:16:01Z","timestamp":1657026961000},"page":"489-497","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["On Polynomial Ideals and Overconvergence in Tate Algebras"],"prefix":"10.1145","author":[{"given":"Xavier","family":"Caruso","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Bordeaux, CNRS, INRIA, Bordeaux, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tristan","family":"Vaccon","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Limoges, CNRS, XLIM UMR 7252, Limoges, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thibaut","family":"Verron","sequence":"additional","affiliation":[{"name":"Johannes Kepler University, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Bayer D. Morrison I. Standard bases and geometric invariant theoryI. Initial ideals and state polytopes Journal of Symbolic Computation Volume 6 Issues 2--3 1988.  Bayer D. Morrison I. Standard bases and geometric invariant theoryI. Initial ideals and state polytopes Journal of Symbolic Computation Volume 6 Issues 2--3 1988.","DOI":"10.1016\/S0747-7171(88)80043-9"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume":"42","author":"Bogart T.","year":"2007","unstructured":"Bogart T. , Jensen A. N. , Speyer D. , Sturmfels B. , Thomas R. R. Computing Tropical Varieties J. Symb . Comput. 42 ( 2007 ), no. 1 -- 2 Bogart T., Jensen A. N., Speyer D., Sturmfels B., Thomas R. R.Computing Tropical VarietiesJ. Symb. Comput. 42 (2007), no. 1--2","journal-title":"Comput."},{"key":"e_1_3_2_1_3_1","volume-title":"English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions.","author":"Buchberger B.","year":"2006","unstructured":"Buchberger , B. , Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal) , English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions. Vol. 41 , Number 3--4, Pages 475--511, 2006 Buchberger, B., Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal), English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions. Vol. 41, Number 3--4, Pages 475--511, 2006"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings: ISSAC","author":"Caruso X.","year":"2019","unstructured":"Caruso , X. , Vaccon T. , Verron T. , Gr\u00f6bner bases over Tate algebras , in Proceedings: ISSAC 2019 , Beijing, China. Caruso, X., Vaccon T., Verron T., Gr\u00f6bner bases over Tate algebras, in Proceedings: ISSAC 2019, Beijing, China."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373207.3404035"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings: ISSAC","author":"Caruso X.","year":"2021","unstructured":"Caruso , X. , Vaccon T. , Verron T. , On FGLM Algorithms With Tate Algebras , in Proceedings: ISSAC 2021 , Saint-Petersburg, Russia. Caruso, X., Vaccon T., Verron T., On FGLM Algorithms With Tate Algebras, in Proceedings: ISSAC 2021, Saint-Petersburg, Russia."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1090\/mcom\/3321"},{"key":"e_1_3_2_1_8_1","first-page":"209","article-title":"Converting bases with the Gr\u00f6bner walk","volume":"6","author":"Collart S.","year":"1997","unstructured":"Collart S. , Kalkbrenner M. , Mall D. , Converting bases with the Gr\u00f6bner walk ., J.Symbolic Comp. 6 ( 1997 ), 209 -- 217 . Collart S., Kalkbrenner M., Mall D., Converting bases with the Gr\u00f6bner walk., J.Symbolic Comp. 6 (1997), 209--217.","journal-title":"J.Symbolic Comp."},{"key":"e_1_3_2_1_9_1","volume-title":"varieties, and algorithms. Undergraduate Texts in Mathematics","author":"Cox D.","year":"2015","unstructured":"Cox D. , Little John ., O'Shea D. , Ideals , varieties, and algorithms. Undergraduate Texts in Mathematics . Springer , Cham , fourth edition, 2015 . Cox D., Little John., O'Shea D., Ideals, varieties, and algorithms. Undergraduate Texts in Mathematics. Springer, Cham, fourth edition,2015."},{"key":"e_1_3_2_1_10_1","volume-title":"Using Algebraic Geometry. Graduate Texts in Mathematics","author":"Cox D.","year":"2005","unstructured":"Cox D. , Little John ., O'Shea D. , Using Algebraic Geometry. Graduate Texts in Mathematics , Volume 185 , Springer Science & Business Media , 2005 . Cox D., Little John., O'Shea D., Using Algebraic Geometry. Graduate Texts in Mathematics, Volume 185, Springer Science & Business Media, 2005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.1993.1051"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Fukuda K. Jensen A. N. Thomas R. R. Computing Gr\u00f6bner fans Math. Comp. 76 (2007)  Fukuda K. Jensen A. N. Thomas R. R. Computing Gr\u00f6bner fans Math. Comp. 76 (2007)","DOI":"10.1090\/S0025-5718-07-01986-2"},{"key":"e_1_3_2_1_13_1","volume-title":"A Singular Introduction to Commutative Algebra","author":"Greuel G.-M.","year":"2008","unstructured":"Greuel G.-M. , Pfister G. , A Singular Introduction to Commutative Algebra , Springer-Verlag Berlin Heidelberg 2008 . Greuel G.-M., Pfister G., A Singular Introduction to Commutative Algebra, Springer-Verlag Berlin Heidelberg 2008."},{"key":"e_1_3_2_1_14_1","unstructured":"Jensen A.N. Gfan a software system for Gr\u00f6bner fans and tropical varieties Available at http:\/\/home.imf.au.dk\/jensen\/software\/gfan\/gfan.html  Jensen A.N. Gfan a software system for Gr\u00f6bner fans and tropical varieties Available at http:\/\/home.imf.au.dk\/jensen\/software\/gfan\/gfan.html"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11607-9_18"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0747-7171(88)80042-7"},{"key":"e_1_3_2_1_17_1","volume-title":"Newton polygons, and tropical intersections, Advances in Mathematics 229(6)","author":"Rabinoff J.","year":"2010","unstructured":"Rabinoff J. , Tropical analytic geometry , Newton polygons, and tropical intersections, Advances in Mathematics 229(6) , 2010 . Rabinoff J., Tropical analytic geometry, Newton polygons, and tropical intersections, Advances in Mathematics 229(6), 2010."},{"key":"e_1_3_2_1_18_1","volume-title":"the Sage Mathematics Software System (Version 9.2)","author":"SageMath","year":"2020","unstructured":"SageMath , the Sage Mathematics Software System (Version 9.2) , The Sage Development Team , 2020 , http:\/\/www.sagemath.org SageMath, the Sage Mathematics Software System (Version 9.2), The Sage Development Team, 2020, http:\/\/www.sagemath.org"},{"key":"e_1_3_2_1_19_1","volume-title":"Gr\u00f6bner Bases and Convex Polytopes","author":"Sturmfels B.","unstructured":"Sturmfels B. , Gr\u00f6bner Bases and Convex Polytopes , American Mathematical Society , Univ . Lectures Series, No 8, Providence, Rhode Island, 1996. Sturmfels B., Gr\u00f6bner Bases and Convex Polytopes, American Mathematical Society, Univ. Lectures Series, No 8, Providence, Rhode Island, 1996."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01403307"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, ISSAC 2015","author":"Vaccon T.","year":"2017","unstructured":"Vaccon T. , Matrix -F5 Algorithms and Tropical Gr\u00f6 bner Bases Computation , Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, ISSAC 2015 , Bath, United Kingdom. Extended versionin the Journal of Symbolic Computation , Dec. 2017 . Vaccon T., Matrix-F5 Algorithms and Tropical Gr\u00f6 bner Bases Computation, Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, ISSAC 2015, Bath, United Kingdom. Extended versionin the Journal of Symbolic Computation, Dec. 2017."}],"event":{"name":"ISSAC '22: International Symposium on Symbolic and Algebraic Computation","location":"Villeneuve-d'Ascq France","acronym":"ISSAC '22","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"]},"container-title":["Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535491","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3476446.3535491","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:47Z","timestamp":1750188647000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3476446.3535491"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,4]]},"references-count":21,"alternative-id":["10.1145\/3476446.3535491","10.1145\/3476446"],"URL":"https:\/\/doi.org\/10.1145\/3476446.3535491","relation":{},"subject":[],"published":{"date-parts":[[2022,7,4]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}