## Verifying the accuracy of polynomial approximations in HOL (1997)

by
John Harrison

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

Citations: | 11 - 6 self |