Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca. Certified, Efficient and Sharp Univariate Taylor Models in COQ. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. pages 193-200, IEEE, 2013. [doi]
Abstract is missing.