Signature-based algorithms for Gröbner bases over tate algebras

DOI10.1145/3373207.3404035OpenAlexW3005745613MaRDI QIDQ5145956

Tristan Vaccon, Xavier Caruso, Thibaut Verron

Publication date: 22 January 2021

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

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

zbMATH Keywords

algorithmsGröbner basespower seriesF5 algorithm\(p\)-adic precisionTate algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (2)

Universal Analytic Gröbner Bases and Tropical Geometry ⋮ Axioms for a theory of signature bases

Uses Software

• SageMath

This page was built for publication: Signature-based algorithms for Gröbner bases over tate algebras