« earlier | later » Page 1 of 1
HAL :: [hal-00128124, version 5] The pitfalls of verifying floating-point computations edit / delete
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 | + floating-point |
| 1 | + maths |
| 1 | + numerical |
tasty by Adam Sampson.