Certified, Efficient and Sharp Univariate Taylor Models in COQ.

rik Martin-Dorel, Laurence Rideau, Laurent Thry, Micaela Mayero, Ioana Pasca

Browse the full SYNASC paper archive.