Checking session…
Polar varieties and efficient real elimination · UY1 Research Hub