×

zbMATH — the first resource for mathematics

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
Software:
SageMath
PDF BibTeX XML Cite
Full Text: DOI