[Sans titre]
Langue
en
Communication dans un congrès
Ce document a été publié dans
ISSAC 2019 - International Symposium on Symbolic and Algebraic Computation, 2019-07-15, Beijing.
Résumé en anglais
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 ...Lire la suite >
Mots clés en anglais
p-adic precision
Gröbner bases
F4 algorithm
Power series
Tate algebra