Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Floating-point arithmetic;Acta Numerica;2023-05
2. Enabling accuracy-aware Quantum compilers using symbolic resource estimation;Proceedings of the ACM on Programming Languages;2020-11-13
3. Towards Deductive Verification of Message-Passing Parallel Programs;2018 IEEE/ACM 2nd International Workshop on Software Correctness for HPC Applications (Correctness);2018-11
4. Verifying Floating-Point Algorithms;Handbook of Floating-Point Arithmetic;2018
5. Bibliography;Floating-Point Algorithms and Formal Proofs;2017