摘要：一个新的三角分解算法被提出应用于常微分多项式系统，这个算法具有三次指数级计算复杂度。关键思想是使用多元结果理论，在一步中消除一组多项式中的一个代数变量。这似乎是第一个具有基本计算复杂度的微分三角形分解算法。
作者：Wei Zhu and Xiao-Shan Gao
论文ID：1503.04380
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2015-03-17
PDF 下载： 英文版 中文版pdf翻译中