CLM方法在组合恒等式机器证明中应用.pdfVIP

CLM方法在组合恒等式的机器证明中的应用 李洁 摘要 本文引入了一种证明组合恒等式的新方法一一CLM方法。该方法以著名 题，即含多个求和式的组合恒等式的证明，从而大大拓展了用计算机证明组合 恒等式的范围． 种简单的方法找到了求和项中不含n的和式的迭代关系。然后，我们从算子代 数的角度引入左公倍迭代算子，继而证明其存在性并给出其阶数的估计。利 应用，我们将求迭代关系的范围扩展到非标准边界条件上，并给出了两个著 名恒等式的证明．最后，我们将CLM方法推广到q一模拟上，并以著名的Ihe first 一种新的行之有效的方法。 代算子、待定系数法 CLM方法在组合恒等式的机器证明中的应用 李j吉 Abstract for is ln Anewmethod combinatorialidentitiesthisthesis．Wec川 proving presented lt methodisbasedonthe CLMmethod．This famous Neveltheless． Zeilberger’salgorithm it tothe inwhich doesn’t l、 thesolution WOI‘k，that gives problems Zeilbergm’’salgorithm ofthecombinatorialidentitieswithmorethanone of to SHIn Thus，the say，theproof scope canbe is identitiesthat provedbycomputersenlargedwidely． WeIntroduce firstasthefoundationofOLUCLMmethodAt Zeilberger’salgorithm thesametime．therecurrenceofthesumswithout，?initcanbecarltedOUt a thl’oughsimple we introducethecommonleft fronl ofviewof methodas the present．We multiple point the the oftheexistenceandtheestimateofits01del‘With operatoralgebra，thengiveproof of of