Atypical points at infinity and algorithmic detection of the bifurcation locus of real polynomials

We show that the variation of the topology at infinity of a two-variable polynomial function is localisable at a finite number of “atypical points” at infinity. We construct an effective algorithm with low complexity in order to detect sharply the bifurcation values of the polynomial function.