24 citations · 60 across the 22 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SC2018★ 2 cited
On Affine Tropical F5 Algorithms
Tristan Vaccon, Thibaut Verron, Kazuhiro Yokoyama
Let be a field equipped with a valuation. Tropical varieties over can be defined with a theory of Gr{ö}bner bases taking into account the valuation of .Because of the us…
math.NT2018
ZpL: a p-adic precision package
Xavier Caruso, David Roe, Tristan Vaccon
We present a new package ZpL for the mathematical software system SM. It implements a sharp tracking of precision on p-adic numbers, following the theory of ultrametric precision i…