401 citations · 401 across the 7 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CC2026
An Improved Construction of Variety-Evasive Subspace Families
Robert Andrews, Abhibhav Garg
We study the question of explicitly constructing variety-evasive subspace families, a pseudorandom primitive introduced by Guo (Computational Complexity 2024) that generalizes both…
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…