Chyzak、Frédéric;布鲁诺·萨维 Ore代数中的非交换消去证明了多元恒等式。 （英语） Zbl 0944.05006号 J.塞姆。计算。 26，第2期，187-227（1998）. 许多特殊函数是完整系统的解。D.泽尔伯格《计算应用数学杂志》32，第3期，312-368（1990年；Zbl 0738.33001号)]通过引用J.Bernstein的完整系统理论，证明了许多特殊的函数恒等式可以在有限的步骤中得到证明。本文推广了Zeilberger使用的（P）-有限函数和序列的概念，发展了（偏）-有限的函数和序列理论。该理论使得在一般水平上使用斜多项式代数作为代数设置和非交换Gröbner基作为开发有效算法的工具成为可能。本文为计算和和积分以及多元恒等式的证明和发现提供了一个非常通用的框架。作者利用一个有趣的Maple包（由第一作者编写），通过精心挑选的示例说明了该理论。审核人：F.Schwarz（帕德博恩） 引用于1审查引用于71文件 MSC公司： 19年5月 组合恒等式，双射组合学 33层10 特殊函数的符号计算（Gosper和Zeilberger算法等） 68瓦30 符号计算和代数计算 关键词：组合恒等式;特殊功能标识;Ore代数;完整系统;函数和序列 引文：Zbl 0738.33001号 软件：Mgfun公司;gfun公司;枫叶;qZeil公司;pq望远镜 PDF格式BibTeX公司 XML格式引用 \textit｛F.Chyzak｝和\textit｛B.Salvy｝，J.Symb。计算。26，第2号，187--227（1998；Zbl 0944.0506） 全文： 内政部 哈尔