13 citations · 36 across the 19 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…
cs.SC2018
A Signature-based Algorithm for computing Computing Gröbner Bases over Principal Ideal Domains
Maria Francis, Thibaut Verron
Signature-based algorithms have become a standard approach for Gröbner basis computations for polynomial systems over fields, but how to extend these techniques to coefficients in…