| Popis: |
What will prevent most users to turn from standard arithmetic to interval arithmetic is the common belief that on any real-life program, interval arithmetic will return most pessimistic bounds to their problem. Although some adequate set of refinements usually yields satisfactory results with interval arithmetic, an interval-novice would most certainly not spend the time to look into the details and learn about his code mathematic peculiarities. We present in this work the prototype of a software library that deals almost transparently with intervals. Directly from its model of execution, the library is able to automatically decide to refine a part or the totality of an evaluation as it is needed. We also introduce a new technique based on an extended number representation that even improves the performances of the library and reduces the interval computed after a numerical evaluation. |
Full text from SpringerLink