Correctly Rounded Evaluation of a Function: Why, How, and at What Cost?

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-p... View More