A machine-checked theory of floating point arithmetic (1999)

by John Harrison
Venue:Theorem Proving in Higher Order Logics, 12th International Conference, TPHOLs’99, volume 1690 of Lecture Notes in Computer Science