日本シミュレーション学会英文誌
Online ISSN : 2188-5303
ISSN-L : 2188-5303
Special Section on Recent Advances in Simulation in Science and Engineering
Accuracy of Low-Precision Elementary and Special Functions Using Verified Numerical Computations
Katsuhisa Ozaki
著者情報
ジャーナル フリー

2025 年 12 巻 1 号 p. 113-130

詳細
抄録

This study examines the accuracy of numerical computations, focusing specifically on built-in elemental and special functions. The IEEE Standard 754 guarantees the accuracy of basic arithmetic operations and square root calculations. However, it does not establish precision criteria for built-in elemental and special functions, such as trigonometric, exponential, logarithmic, and gamma functions. In this paper, we evaluate the accuracy of low-precision elemental and special functions supported by MATLAB, GNU Octave, two C language compilers, CUDA, and NumPy in Python, using an interval enclosure technique. We assessed the accuracy of these functions for all low-precision floating-point inputs represented in FP16, BF16, and FP32. Additionally, we conducted a partial investigation into the accuracy of functions involving FP64 in Java within the aforementioned environment.

著者関連情報
© 2025 Japan Society for Simulation Technology
前の記事 次の記事
feedback
Top