代数函数的基于规约的创造性编码

摘要:使用归约技术进行创造性拓展的系列文章已经连续数年。本文开发了一种新的算法,用于构建代数函数的最小递归计算表达式。该算法基于特拉格的埃尔米特归约和多项式归约,原本设计用于超指数函数,并在本文中扩展到代数情况。

作者:Shaoshi Chen, Manuel Kauers, Christoph Koutschan

论文ID:1602.00424

分类:Symbolic Computation

分类简称:cs.SC

提交时间:2016-02-02

PDF 下载: 英文版 中文版pdf翻译中