É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]
No references recorded for this publication.
No citations of this publication recorded.