Draft C bindings for IEEE 754-2008 part 4 now available

[Joseph S. Myers]

On Tue, 7 Jan 2014, Vincent Lefevre wrote:

> For some of them, this is proved. Here's a summary of the current
> status:
> 
>   http://tamadiwiki.ens-lyon.fr/tamadiwiki/images/c/c1/Lefevre2013.pdf

Thanks for the details.  What's the current state of the art on the 
asymptotic cost of the exhaustive searches?

-- 
Joseph S. Myers
joseph@codesourcery.com