Tristan Vaccon

activity

20142026

most citedTracking p-adic precision

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

collaborators

Showing 2014Show all

3 papers · 1 filter

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…

math.NT2014★ 24 cited

Tracking p-adic precision

Xavier Caruso, David Roe, Tristan Vaccon

We present a new method to propagate $p$ -adic precision in computations, which also applies to other ultrametric fields. We illustrate it with many examples and give a toy applicat…

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…