Checking approximate computations of polynomials and functional equationsFunda ErgünS. Ravi Kumaret al.2001SIAM Journal on Computing