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

Documents Related by Co-Citation

84 Theorem Proving with the Real Numbers – John Robert Harrison - 1996
31 A Machine-Checked Theory of Floating Point Arithmetic – John Harrison - 1999
40 Table-driven implementation of the exponential function in IEEE floating-point arithmetic – P T P Tang - 1989
29 Defining the IEEE-854 Floating-Point Standard in PVS – Paul S. Miner - 1995
14 C.J.H.: Formally Verifying – J O’Leary, X Zhao, R Gerth, Seger - 1999
19 Proving the IEEE Correctness of Iterative Floating-Point Square Root, Divide, and Remainder Algorithms – Marius Cornea-Hasegan
25 Formal Verification of Floating Point Trigonometric Functions – John Harrison - 2000
90 Formal Verification in Hardware Design: A Survey – Christoph Kern, Mark R. Greenstreet - 1999
3 Table-Driven Floating-Point Exponential Function – Hung Tien Bui, Bashar Khalaf, Sofiène Tahar - 1999
104 On The Rapid Computation of Various Polylogarithmic Constants”, manuscript – David Bailey, Peter Borwein, Simon Plouffe - 1996
48 A Functional Approach to Programming – Guy Cousineau, Michel Mauny - 1998
88 Edinburgh LCF: A Mechanised Logic – M J C Gordon, R Milner, C P Wadsworth - 1979
70 HOL Light: A tutorial introduction – John Harrison - 1996
9 and T.F.Melham, “Introduction to HOL: a theorem proving environment for higher order logic – M J C Gordon - 1993
77 Multiway Decision Graphs for Automated Hardware Verification – F. Corella, Z. Zhou, X. Song, M. Langevin, E. Cerny - 1996
31 Floating point verification in HOL Light: the exponential function – John Harrison - 1997
5 Arithmetic Circuit Verification Based on Word-Level Decision Diagrams – Yirng-an Chen, Edmund M. Clarke, Rob A. Rutenbar - 1998
3 Pentium Processors, Statistical Analysis of Floating-Point Flaw – Intel Inc - 1994
2 IEEE Standard for Binary Floating-Point Arithmetic Std – IEEE Standards - 1985