Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. M. Barratt. Formal methods applied to a floating-point system. IEEE Transactions on Software Engineering, 15:611–621, 1989.
2. M. Cornea-Hasegan. Proving the IEEE correctness of iterative floating-point square root, divide and remainder algorithms. Intel Technology Journal, 1998-Q2:1–11, 1998. Available on the Web as http://developer.intel.com/technology/itj/q21998/articles/art_3.htm .
3. M. A. Cornea-Hasegan, R. A. Golliver, and P. Markstein. Correctness proofs outline for Newton-Raphson based floating-point divide and square root algorithms. In Koren and Kornerup P. Kornerup, editors. Proceedings, 14th IEEE symposium on on computer arithmetic [10], pages 96–105.
4. C. Dulong. The IA-64 architecture at work. IEEE Computer, 64(7):24–32, July 1998.
5. D. Goldberg. What every computer scientist should know about floating point arithmetic. ACM Computing Surveys, 23:5–48, 1991.
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Numerical Fuzz: A Type System for Rounding Error Analysis;Proceedings of the ACM on Programming Languages;2024-06-20
2. Formal Verification of Universal Numbers using Theorem Proving;Journal of Electronic Testing;2024-06
3. UTC Time, Formally Verified;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
4. Enabling Floating-Point Arithmetic in the Coq Proof Assistant;Journal of Automated Reasoning;2023-09-16
5. Finding Normal Binary Floating-Point Factors Efficiently;Journal of Automated Reasoning;2023-02-06