Correctly Rounded Evaluation of a Function: Why, How, and at What Cost?
Nicolas Brisebarre, Guillaume Hanrot, Jean‐Michel Muller, Paul A. Zimmermann · ACM Computing Surveys · 2025
The goal of this article is to give a survey on the various computational and mathematical issues and progress related to the problem of providing efficient correctly rounded elementary functions in floating-point arithmetic. We also aim at convincing the reader that a future standard for floating-point arithmetic should require the availability of a correctly rounded version of a well-chosen core set of elementary functions. We discuss the interest and feasibility of this requirement.