Floating point verification in HOL

This publication has 6 references indexed in Scilit:

• Constructing the real numbers in HOL
  Formal Methods in System Design, 1994
• What every computer scientist should know about floating-point arithmetic
  ACM Computing Surveys, 1991
• Transcendental Number Theory
  Published by Cambridge University Press (CUP) ,1975
• A unified algorithm for elementary functions
  Published by Association for Computing Machinery (ACM) ,1971
• The CORDIC Trigonometric Computing Technique
  IRE Transactions on Electronic Computers, 1959
• Ueber die Zahl ?.*)
  Mathematische Annalen, 1882