A. Arri and J. Perry, The F5 criterion revised, Journal of Symbolic Computation, p.2017, 2011.
DOI : 10.1016/j.jsc.2011.05.004
URL : http://dx.doi.org/10.1016/j.jsc.2011.05.004

A. J. Chan, Gröbner bases over fields with valuations and tropical curves by coordinate projections, 2013.

A. J. Chan and . Maclagan, Diane Gröbner bases over fields with valuations, 2013.

. Connes, D. Maclagan, and B. Sturmfels, Introduction to tropical geometry, Graduate Studies in Mathematics, vol.161

T. Markwig and R. , Yue Computing tropical varieties over fields with valuation, 2015.

V. Tristan, Matrix-F5 algorithms over finite-precision complete discrete valuation fields, Proceedings of 39th International Symposium on Symbolic and Algebraic Computation, p.14

V. Tristan, Matrix-F5 Algorithms and Tropical Gröbner Bases Computation, Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, 2015.