Tristan Vaccon

activity

20142026

most citedTracking p-adic precision

24 citations · 60 across the 22 of their papers we have counts for

collaborators

Showing 2014 · cs.SCShow all

2 papers · 2 filters

cs.SC2014★ 2 cited

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

Tristan Vaccon

Let $(f_1, \dots, f_s) \in Q_p [X_1, \dots, X_n]^{s}$ be a sequence of homogeneous polynomials with $p$ -adic coefficients. Such system may happen, for example, in arithme…

cs.SC2014★ 4 cited

Matrix-F5 algorithms and tropical Gröbner bases computation

Tristan Vaccon

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…