TY  - RPRT
TI  - Signature-based algorithms for Gr{ö}bner bases over Tate algebras
AU  - Xavier Caruso
AU  - Tristan Vaccon
AU  - Thibaut Verron
PY  - 2021
DO  - 10.1145/3373207.3404035
UR  - https://arxiv.org/abs/2002.04491
ID  - 2002.04491
ER  -