前途无量的符号计算系统

摘要

一、符号计算系统计算机从单纯计算到文字处理，图形变换与知识表示等正在悄悄地改变科学家、工程师甚至数学家的工作方式。十九世纪以前，计算是数学家们工作的主要部分，Gauss对于Ceres的轨道计算和提出最小二乘拟合的计算方法，便是一个例子。十九世纪以后，数学研究发生了重大的改变，计算的色彩日渐淡薄，数学家们对数学理论、数学结构，远比对特殊问题的解的计算更为关心。然而，现代计算机问世以后，情况又发生了变化。通过计算求解再次成为可行的手段。一提起计算机求解，人们立刻想到的是数值求解，这是因为计算机的早期应用范围主要是数值求解。其实数值求解是计算机求解的一个方面，计算机进行计算的另一方面即对数学表示式的处理，已形成一门新的科学分支，称为符号计算或