Matrix-F5 Algorithms and Tropical Gröbner Bases Computation
Tristan Vaccon · 2015
Let K be a field equipped with a valuation. Tropical varieties over K can be defined with a theory of Gröbner bases taking into account the valuation of K. Because of the use of the valuation, this theory is promising for stable computations over polynomial rings over a p-adic fields.