Sciweavers

A Machine-Checked Theory of Floating Point Arithmetic
Recent countries visiting this post
A Machine-Checked Theory of Floating Point Arithmetic
us6United States