The computer algebra system REDUCE.