Table-Maker's Dilemma: почему почти все трансцендентные элементарные функции округляются неправильно

Аудио-презентация статьи для сообщества Хабрахабр (
Речь идёт об открытой научной проблеме корректного округления элементарных функций в формате IEEE-754 до последнего значащего бита. Список источников: [1] Jean-Michel Muller, “Elementary Functions: Algorithms and Implementation”, 2016 [2] William Kahan, “A Logarithm Too Clever by Half”, 2004 (
[3] Jean-Michel Muller, “Handbook of floating-point arithmetic”, 2018 [4] Vincent Lefèvre, Jean-Michel Muller, “Toward Correctly Rounded Transcendentals”, IEEE TRANSACTIONS ON COMPUTERS, VOL. 47, NO. 11, NOVEMBER 1998. pp. 1235-1243 [5] Vincent Lefèvre. “New Results on the Distance Between a Segment and Z2”. Application to the Exact Rounding. 17th IEEE Symposium on Computer Arithmetic - Arith’17, Jun 2005, Cape Cod, MA, United States. pp.68-75 [6] Vincent Lefèvre, Jean-Michel Muller, “Worst Cases for Correct Rounding of the Elementary Functions in Double Precision”, Rapport de recherche (INSTITUT NA TIONAL DE RECHERCHE EN INFORMA TIQUE ET EN AUTOMA TIQUE) n˚4044 — Novembre 2000 — 19 pages.