Verifying the accuracy of polynomial approximations in HOL (1997)

Cached

Download Links

by John Harrison
Venue:Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs’97
Citations:11 - 6 self