@misc{indiciaefd3351593786, title = {Signature-based algorithms for Gr\{รถ\}bner bases over Tate algebras}, author = {Xavier Caruso and Tristan Vaccon and Thibaut Verron}, year = {2021}, doi = {10.1145/3373207.3404035}, url = {https://arxiv.org/abs/2002.04491}, note = {Source identifier: 2002.04491} }