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.


General techniques and tools

Correct rounding

Multiple precision

Formal proof

Low-level optimizations

Algorithms, function by function



sin, cos

tan, cotan

atan, atan2

cosh, sinh

tanh, cotanh

Special functions

Relevant web links

About mathematical functions

Code generators