Pages that link to On Some Algebraic and Order-Theoretic Aspects of Machine Interval Arithmetic