Faithful Polynomial Evaluation with Compensated Horner Algorithm

Philippe Langlois, Nicolas Louvet

This paper presents two sufficient conditions to ensure a faithful evaluation of polynomial in IEEE-754 floating point arithmetic. Faithfulness means that the computed value is one…