Gröbner bases over Tate algebras - Archive ouverte HAL
Conference Papers Year : 2019

Gröbner bases over Tate algebras

Abstract

Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the formalism of Gröbner bases for Tate algebras. We prove an analogue of the Buchberger criterion in our framework and design a Buchberger-like and a F4-like algorithm for computing Gröbner bases over Tate algebras. An implementation in SM is also discussed.
Fichier principal
Vignette du fichier
tate_algebra_acm.pdf (245.77 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01995881 , version 1 (27-01-2019)
hal-01995881 , version 2 (06-05-2019)

Identifiers

Cite

Xavier Caruso, Tristan Vaccon, Thibaut Verron. Gröbner bases over Tate algebras. ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, Jul 2019, Beijing, China. ⟨10.1145/3326229.3326257⟩. ⟨hal-01995881v2⟩
186 View
258 Download

Altmetric

Share

More