Automatic Generation of Fast and Certified Code for Polynomial Evaluation.
Christophe Mouilleron, Guillaume Revy
VenueCARITH
Year2011
ProceedingsIEEE Symposium on Computer Arithmetic
DBLP recordconf/arith/MouilleronR10 ↗
Browse the full ARITH paper archive.