A Machine-Checked Theory of Floating Point Arithmetic

This publication has 10 references indexed in Scilit:

• New algorithms for improved transcendental functions on IA-64
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Correctness proofs outline for Newton-Raphson based floating-point divide and square root algorithms
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• The IA-64 architecture at work
  Computer, 1998
• A Mechanically Checked Proof of IEEE Compliance of the Floating Point Multiplication, Division and Square Root Algorithms of the AMD-K7^™ Processor
  LMS Journal of Computation and Mathematics, 1998
• Theorem Proving with the Real Numbers
  Published by Springer Nature ,1998
• Elementary Functions
  Published by Springer Nature ,1997
• What every computer scientist should know about floating-point arithmetic
  ACM Computing Surveys, 1991
• Computation of elementary functions on the IBM RISC System/6000 processor
  IBM Journal of Research and Development, 1990
• Formal methods applied to a floating-point number system
  IEEE Transactions on Software Engineering, 1989
• A higher-order implementation of rewriting
  Science of Computer Programming, 1983