3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.SC2024★ 3 cited
Universal Analytic Gr{ö}bner Bases and Tropical Geometry
Tristan Vaccon, Thibaut Verron
A universal analytic Gr{ö}bner basis (UAGB) of an ideal of a Tate algebra is a set containing a local Gr{ö}bner basis for all suitable convergence radii. In a previous article, the…
cs.SC2023
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares
Victor Magron, Przemysław Koprowski, Tristan Vaccon
Pourchet proved in 1971 that every nonnegative univariate polynomial with rational coefficients is a sum of five or fewer squares. Nonetheless, there are no known algorithms for co…