REDUCEと同様にLISP上で構築された数式処理システム(数式を数式として扱うアプリケーション、プログラム)にMaximaというのがあります。パブリックドメインで活動も盛んなようです。本も出ているし、ネットにマニュアルや翻訳があってREDUCEからみるとうらや…