共 50 条
- [3] How to print floating-point numbers accurately [J]. ACM SIGPLAN NOTICES, 2004, 39 (04) : 375 - 389
- [5] Building Better Bit-Blasting for Floating-Point Problems [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, 2019, 11427 : 79 - 98
- [6] Accurate Floating-point Operation using Controlled Floating-point Precision [J]. 2011 IEEE PACIFIC RIM CONFERENCE ON COMMUNICATIONS, COMPUTERS AND SIGNAL PROCESSING (PACRIM), 2011, : 696 - 701
- [10] FLOATING-POINT COMPUTATION [J]. TRANSACTIONS OF THE NEW YORK ACADEMY OF SCIENCES, 1974, 36 (06): : 591 - 591