« earlier | later »
Page 1 of 1
HAL :: [hal-00128124, version 5] The pitfalls of verifying floating-point computations
Lengthy study of what can go wrong with FP.
to ag0700 data-types floating-point maths numerical ...
on 03 October 2014
by Adam Sampson.