Verifying the accuracy of polynomial approximations in HOL (1997)

by J Harrison
Venue:In Theorem Proving in Higher Order Logics: 10th International Conference (TPHOLs