The Distance Function from a Real Algebraic Variety

Giorgio Ottaviani, Luca Sodomaco

For any (real) algebraic variety $X$ in a Euclidean space $V$ endowed with a nondegenerate quadratic form $q$, we introduce a polynomial ${\mathrm{EDpoly}}_{X,u}(t^2)$ which, for any…