Computing the Real Isolated Points of an Algebraic Hypersurface

Huu Phuoc Le, Mohab Safey El Din, Timo de Wolff

Let $\mathbb{R}$ be the field of real numbers. We consider the problem of computing the real isolated points of a real algebraic set in ${\mathbb{R}}^n$ given as the vanishing set of…