This package provides types and functions for Maximum Accuracy Interval Arithmetic.
The Interval Arithmetic is a mathematical tool for the solution of problems related to numerical errors, based on an algebraic system formed by all closed intervals of Real Line (or rectangles of Complex Plane) and operations defined on it. Rather than usual numerical algorithms, it's used interval algorithms producing intervals containing the correct answer as a result.
The Maximum Accuracy, on the other hand, provides an axiomatic method for arithmetic operations performed in computers that capture essential properties associated with rounding.
For more information about it, see:
Moore, R. E., Interval Analysis. Prentice-Hall, Englewood Cliffs, New Jersey, 1966. Moore, R. E., Methods and Applications of Interval Analysis. SIAM Studies in Applied Mathematics, Philadelphia, 1979. Kulisch, U. W., Miranker, W. L., Computer Arithmetic in Theory and Practice. Academic Press, 1981. Currently only Real Intervals are available. No Complex Intervals, no Interval Vectors and Matrixes, and no extensions of basic functions. These will be our next work.
It was developed at CIn/UFPE (Brazil) by Rafael Menezes Barreto and it's free software.
Copyright © 2013 Black Duck Software, Inc. and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a Creative Commons Attribution 3.0 Unported License . Ohloh ® and the Ohloh logo are trademarks of Black Duck Software, Inc. in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.