Dynamical methods in algebra: effective Nullstellensätze (2001)

by M Coste, H Lombardi, M F Roy
Venue:Ann. Pure Appl. Logic