Verifying the accuracy of polynomial approximations in HOL (1997)

by John Harrison
Venue:Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs’97