Christophe Mouilleron, Guillaume Revy. Automatic Generation of Fast and Certified Code for Polynomial Evaluation. In Elisardo Antelo, David Hough, Paolo Ienne, editors, 20th IEEE Symposium on Computer Arithmetic, ARITH 2011, Tübingen, Germany, 25-27 July 2011. pages 233-242, IEEE Computer Society, 2011. [doi]
Abstract is missing.