Effective real Nullstellensatz and variants (1991)

by Henri Lombardi
Venue:Effective Methods in Algebraic Geometry