Muller et al., Handbook of Floating-Point Arithmetic

Авторы: Jean-Michel Muller, Nicolas Brisebarre, Florent de Dinechin, Claude-Pierre Jeannerod, Vincent Lef`evre, Guillaume Melquiond, Nathalie Revol, Damien Stehl´e, Serge Torres. Handbook of Floating-Point Arithmetic, 2010

Отличная книжка для всех тех, кто интересуются вопросами машинной арифметики с плавающей точкой. Многие авторы мне знакомы по их публикациям.

В части первой излагается база (основные понятия, обозначения, стандарт 754 и пр.).

Часть вторая посвящается тому, как грамотно пользоваться возможностями плавающей арифметики.

В главе 4 разбираются базовые операции - параметры вычислительной среды, точные операции, вычисления сумм и произведений, и наконец операции с комплексными числами.

Как известно, доступность операции умножения с накоплением (fused multiply add) может здорово облегчить жизнь разработчикам - и вопросам ее использования посвящается глава 5.

В главе шестой можно ознакомится с методами вычисления длинных сумм, произведений и полиномов.

Глава седьмая - в чем-то больной вопрос - поддержка вычислений с плавающей точкой языками программирования и компиляторами.

Часть четвертая - это вычисление элементарных функций. В главе 12й представлена проблема TMD (table-maker's dilemma).

Часть пятая это вопросы верификации алгоритмов и расширения точности. В приложении можно ознакомиться с основами применения методов теории чисел к анализу алгоритмов с плавающей точкой.