A generalized interval package and its use for semantic checking
Alan Bundy · ACM Transactions on Mathematical Software · 1984
An interval anthmetm package, INT, which generalizes previous interval packages by using information about the monotonicity of functions is described.INT has been used in an algebraic manipulation package, PRESS, to check the conditions of rewrite rules and the solutions to equations.