All Questions
Tagged with verification floating-point
1 question
12
votes
1
answer
88
views
Tools to check correctness of decimal floating point arithmetic
I have implemented (in TeX, but it doesn't matter for this question) a library of functions that evaluate basic arithmetic, as well as some transcendental functions such as cosine, on decimal floating ...
- 502