Gröbner Bases Over Tate Algebras

DOI10.1145/3326229.3326257zbMath1467.13045arXiv1901.09574OpenAlexW2913325462MaRDI QIDQ5120477

Tristan Vaccon, Xavier Caruso, Thibaut Verron

Publication date: 10 September 2020

Published in: Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.09574

zbMATH Keywords

algorithmsGröbner basespower series\(p\)-adic precisionTate algebraF4 algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Foundations of tropical geometry and relations with algebra (14T10)

Related Items (2)

Universal Analytic Gröbner Bases and Tropical Geometry ⋮ On affine tropical F5 algorithms

Uses Software

• SageMath

This page was built for publication: Gröbner Bases Over Tate Algebras