Signature-based algorithms for Gröbner bases over Tate algebras
Langue
en
Communication dans un congrès
Ce document a été publié dans
ISSAC 2021 - International Symposium on Symbolic and Algebraic Computation, 2020-07-20, Kalamata / Virtual.
Résumé en anglais
Introduced by Tate in [Ta71], Tate algebras play a major role in the context of analytic geometry over the-adics, where they act as a counterpart to the use of polynomial algebras in classical algebraic geometry. In [CVV19] ...Lire la suite >
Mots clés en anglais
F5 algorithm
Gröbner bases
Algorithms
Tate algebra
Power series
P-adic precision
F5 algorithm