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

Luis Renato G. Dias, Cezar Joiţa, Mihai Tibăr

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 eff…