Matrix-F5 algorithms over finite-precision complete discrete valuation fields

Tristan Vaccon. Matrix-F5 algorithms over finite-precision complete discrete valuation fields. Journal of Symbolic Computation, 80:329-350, 2017. [doi]

Abstract

Abstract is missing.