12 | | description Data types for verified computing. |
13 | | long_description ${description} The implementation of intervals in \ |
14 | | inf-sup format is based on interval boundaries represented by \ |
15 | | binary64 numbers and is standard conforming to IEEE 1788. |
| 12 | description The interval package for real-valued interval arithmetic provides \ |
| 13 | data types and operations for verified computing. |
| 14 | long_description ${description} It can be used to handle uncertainties, estimate \ |
| 15 | arithmetic errors and produce reliable results. Also it can help \ |
| 16 | find guaranteed solutions to numerical problems. Thanks to GNU MPFR \ |
| 17 | many arithmetic operations are provided with best possible accuracy. \ |
| 18 | The implementation of intervals in inf-sup format is based on \ |
| 19 | interval boundaries represented by binary64 numbers and is standard \ |
| 20 | conforming to IEEE 1788. |