9 citations · 9 across the 4 of their papers we have counts for
Showing 2026 · cs.CCShow all
2 papers · 2 filters
cs.CC2026
Some algebraic and geometric computations in CH via Chow forms
Robert Andrews, Abhibhav Garg, Rafael Oliveira +1
The problem of decomposing an algebraic variety into more structured components (such as equidimensional, irreducible, or connected components) is a fundamental problem in computer…
cs.CC2026
Hilbert's Nullstellensatz is in the Counting Hierarchy
Robert Andrews, Abhibhav Garg, Éric Schost
We show that Hilbert's Nullstellensatz, the problem of deciding if a system of multivariate polynomial equations has a solution in the algebraic closure of the underlying field, li…