Atypical values at infinity of a polynomial function on the real plane: an erratum, and an algorithmic criterion

Abstract

We correct a previously published theorem by proving a criterion to decide whether the fibration given by a real polynomial function f : R-2 --> R is locally trivial at infinity. The algorithmical nature of this criterion provides a test that can be applied to any real polynomial f.