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).
Часть пятая это вопросы верификации алгоритмов и расширения точности. В приложении можно ознакомиться с основами применения методов теории чисел к анализу алгоритмов с плавающей точкой.