[PPT] - Automatic Synthesis of Fast and Certified Code for Polynomial PowerPoint Presentation