Arbitrary Precision Real Interval Arithmetic Package in REDUCE

摘要

An arbitrary precision real interval arithmetic package in REDUCE is described.It is an implementation of a well-defined computer interval arithmetic, and allows a user to handle the precision in a flexible manner. The package is fully integrated in REDUCE so that even a casual user can use it. Combined with other facilities in REDUCE, it is particularly suitable for the development of numerical algorithms which deliver highly accurate and automatically verified results. Due to its robust design, the package is easily extensible and modifiable.