共 50 条
- [32] Formal Correctness of Comparison Algorithms Between Binary64 and Decimal64 Floating-Point Numbers NUMERICAL SOFTWARE VERIFICATION, NSV 2017, 2017, 10381 : 25 - 37
- [36] Algorithms for Manipulating Quaternions in Floating-Point Arithmetic 2020 IEEE 27TH SYMPOSIUM ON COMPUTER ARITHMETIC (ARITH), 2020, : 48 - 55
- [39] A New Architecture for Accurate Dot Product of Floating Point Numbers ICCES'2010: THE 2010 INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS, 2010, : 139 - 145