求解某些特别序列发生函数的自动化方法.pdfVIP

摘 要 本文研究了某些特殊组合恒等式的自动证明算法及某些特殊序列发生函数的自动求 解算法．论文的主要内容如下， 第一章简要地介绍了组合恒等式证明理论的发展进程． 第二章介绍组台恒等式自动证明算法的理论基础，即完整性函数理论与非交换算子 代数理论． berger算法，从而完成可终止超几何级数恒等式(=项式系数恒等式)的自动证明．根 等式．而且，依据吴方法的基本思想，我们解决了非交换算子代数中多个变量的消元问 题，并提出多变量可终止超几何级数恒等式的自动证明算法．在这一章的最后，我们简 要地介绍了非交换算子代数c(巩，D。，$埘中的主要结论，并讨论了带有积分号的恒等式 的自动证明问题． 基于第三章的讨论，在第四章中。我们将发生函数看作是既含有连续变量又含有离 散变量的特殊形式的恒等式，从而给出某些特殊序列发生函数的自动求解算法．在这一 章，我们首先提出了普通幂级数发生函数与指数发生函数的自动求解算法，利用这一算 法，我们计算了一些正交多项式以及特殊组合数的发生函数．接着根据第三章提出的非 交换环境下消去多个变量的算法，我们研究了如何求解双变量普通幂级数发生函数与混 合型的发生函数．最后我们将讨论推广到一般形式的发生函数上． 关键词：组合恒等式；发生函数；完整性函数；非交换算子代数；Zeilberger算法 Abstract Inthe for some combinatorialidentitiesand special computing thesis，algorithmsvcrifying the ofsome studied．Themaincontentsofthisthesis functions are generating specialsequences callbesummarizedasfollows： 1 the of describesevolutionthe ofcombinatorialidentities． Chapter prooftheory 2 the isaboutfundamentalofthe Chapter automatic tocombinatorial theory approach identities，that functionsandnoncomm_1．1tative is，holonomic operatoralgebras． Because the alotof SOthatsome present Zeilbergeralgorithmrequires memory identities， suchasDixon’S can notbeverified theEuclidean to identit：L successfully,wegeneralize algorithm thenoneommutative establish operator theelimination algebraC(晶，瓯，n，k)inChapter3，and in thenoncommutativethe