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

Document Versions

Verifying the accuracy of polynomial approximations in HOL –John Harrison — 1997 — Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs’97