计算机代数语言REDUCE 2

本文阐述了新兴的计算机代数语言 REDUCE_2,着重指出它与数值计算语言之间的差别。研究了计算机代数语言的关键概念和公式推导的方法,说明了如何使用REDUCE_2进行公式推导和证明恒等式。