共 50 条
- [23] Printing Floating-Point Numbers Quickly and Accurately with Integers PLDI '10: PROCEEDINGS OF THE 2010 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2010, : 233 - 243
- [27] On the integration of floating-point, interval, rational and symbolic computation ZEITSCHRIFT FUR ANGEWANDTE MATHEMATIK UND MECHANIK, 1996, 76 : 41 - 44
- [29] Inferring Interval-Valued Floating-Point Preconditions TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 303 - 321
- [30] Exact Versus Inexact Decimal Floating-Point Numbers and Arithmetic IEEE ACCESS, 2023, 11 : 17891 - 17905