REDUCE 3.7 meets the British Standards Institution Year 2000 conformity definition as given in http://www.bsi.org.uk/disc/2000.html.

This definition states that:

"Year 2000 conformity shall mean that neither performance nor functionality is affected by dates prior to, during and after the year 2000. In particular:

• Rule 1 No value for current date will cause any interruption in operation.

• Rule 2 Date-based functionality must behave consistently for dates prior to, during and after year 2000.

• Rule 3 In all interfaces and data storage, the century in any date must be specified either explicitly or by unambiguous algorithms or inferencing rules.

• Rule 4 Year 2000 must be recognized as a leap year."

REDUCE's software includes a date function, which meets all the above requirements. However, the supported algebraic calculations do not use this function. As a result, Year 2000 problems are not relevant to their operation.