3 works on record
Numerical toolbox for verified computing
Face Up E.S.S
C++ Toolbox for Verified Computing I: Basic Numerical Problems