Abstract: One approach to testing and/or proving correctness of a floating-point algorithm computing a function f is based on finding input floating-point numbers a such that the exact result f(a) is ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback