On the efficiency of effective Nullstellensätze (1993)

by M Giusti, J Heintz, J Sabia
Venue:Comput. Complexity