Sin título
CARUSO, Xavier
Institut de Mathématiques de Bordeaux [IMB]
Lithe and fast algorithmic number theory [LFANT]
Institut de Mathématiques de Bordeaux [IMB]
Lithe and fast algorithmic number theory [LFANT]
CARUSO, Xavier
Institut de Mathématiques de Bordeaux [IMB]
Lithe and fast algorithmic number theory [LFANT]
< Leer menos
Institut de Mathématiques de Bordeaux [IMB]
Lithe and fast algorithmic number theory [LFANT]
Idioma
en
Communication dans un congrès
Este ítem está publicado en
ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, 2019-07-15, Beijing.
Resumen en inglés
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 ...Leer más >
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.< Leer menos
Palabras clave en inglés
p-adic precision
Gröbner bases
F4 algorithm
Power series
Tate algebra
Orígen
Importado de HalCentros de investigación