Signature-based algorithms for Grbner bases over tate algebras.

Xavier Caruso, Tristan Vaccon, Thibaut Verron

Browse the full ISSAC paper archive.