Caruso, Xavier; Vaccon, Tristan; Verron, Thibaut Gröbner bases over Tate algebras. (English) Zbl 07246232 Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6084-5). 74-81 (2019). MSC: 68W30 Symbolic computation and algebraic computation Keywords:algorithms; F4 algorithm; Gröbner bases; \(p\)-adic precision; power series; Tate algebra Software:SageMath PDF BibTeX XML Cite \textit{X. Caruso} et al., in: Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC '19, Beijing, China, July 15--18, 2019. New York, NY: Association for Computing Machinery (ACM). 74--81 (2019; Zbl 07246232) Full Text: DOI