31 citations · 82 across the 22 of their papers we have counts for
1 paper · 2 filters
Abhibhav Garg, Nitin Saxena
Radical membership testing, and the special case of Hilbert's Nullstellensatz (HN), is a fundamental computational algebra problem. It is NP-hard; and has a famous PSPACE algorithm…