符号积分系统导论
摘要：符号积分是典型计算代数系统的重要模块。目前，Mathematica、Matlab、Maple和Sage都是主流的计算代数系统。它们在符号积分的框架上有一些共同点。本书首先回顾了计算代数系统领域的最新进展。然后我们重点关注当前符号积分系统的典型框架，并总结了这些框架背后的主要数学理论。基于我们团队在我们大学开发的开源计算代数系统maTHmU，我们提出了一个潜在的框架来提高当前符号积分系统的性能。
作者：Weiguang Mao
论文ID：1309.6655
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2013-09-27