DMCA

A Machine-Checked Theory of Floating Point Arithmetic (1999)

Cached

Download Links

by John Harrison
Citations:41 - 5 self