https://123dok.org/document/lq58pv3q-extremal-and-typical-results-in-real-algebraic-geometry.html