« 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
« earlier | later » Page 1 of 1
| - data-types | |
| 1 | ag0700 |
| 1 | data-types |
| 1 | floating-point |
| 1 | maths |
| 1 | numerical |
tasty by Adam Sampson.