短 课 程

内容提要：本课程简要介绍分析数学中基本的符号计算方法，包括符号微分，符号积分以及微分方程的符号解。计算机代数系统可以用来对函数进行自动微分，也可以用来构造一大类积分问题和某些微分方程的解；本课程将介绍相应的算法。此外也将介绍近年国内外流行的求非线性偏微分方程解析解的符号计算算法。