24 citations · 60 across the 22 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SC2017
A Tropical F5 algorithm
Tristan Vaccon, Kazuhiro Yokoyama
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. While generalizing the…
math.NT2017
Characteristic polynomials of p-adic matrices
Xavier Caruso, David Roe, Tristan Vaccon
We analyze the precision of the characteristic polynomial of an p-adic matrix A using differential precision methods developed previously. When A is integral with preci…