24 citations · 60 across the 22 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.AC2023
Learning to Compute Gröbner Bases
Hiroshi Kera, Yuki Ishihara, Yuta Kambe +2
Solving a polynomial system, or computing an associated Gröbner basis, has been a fundamental task in computational algebra. However, it is also known for its notorious doubly expo…
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…