奥姆

ORME既是一个改写规则实验室,也是一个用于构建定理证明器和与等式理论有关的软件的工具箱。计算机代数系统(CAS)。