86

Theorem Proving with the Real Numbers
–
 1996

31

A MachineChecked Theory of Floating Point Arithmetic
–
 1999

29

Defining the IEEE854 FloatingPoint Standard in PVS
–
 1995

40

Tabledriven implementation of the exponential function in IEEE floatingpoint arithmetic
–
 1989

14

C.J.H.: Formally Verifying
–
 1999

19

Proving the IEEE Correctness of Iterative FloatingPoint Square Root, Divide, and Remainder Algorithms
–

25

Formal Verification of Floating Point Trigonometric Functions
–
 2000

90

Formal Verification in Hardware Design: A Survey
–
 1999

3

TableDriven FloatingPoint Exponential Function
–
 1999

101

On The Rapid Computation of Various Polylogarithmic Constants”, manuscript
–
 1996

48

A Functional Approach to Programming
–
 1998

87

Edinburgh LCF: A Mechanised Logic
–
 1979

69

HOL Light: A tutorial introduction
–
 1996

9

and T.F.Melham, “Introduction to HOL: a theorem proving environment for higher order logic
–
 1993

77

Multiway Decision Graphs for Automated Hardware Verification
–
 1996

31

Floating point verification in HOL Light: the exponential function
–
 1997

5

Arithmetic Circuit Verification Based on WordLevel Decision Diagrams
–
 1998

3

Pentium Processors, Statistical Analysis of FloatingPoint Flaw
–
 1994

2

IEEE Standard for Binary FloatingPoint Arithmetic Std
–
 1985
