Survey on libm bibliography

This is work in progress. We welcome suggestions of improvements.

The full unsorted bibliography that was used to generate this page can be found here.

Textbooks

General techniques and tools

Correct rounding

Multiple precision

Formal proof

Low-level optimizations

Algorithms, function by function

exp

log

sin, cos

tan, cotan

atan, atan2

cosh, sinh

tanh, cotanh

Special functions

Relevant web links

About mathematical functions

Code generators