数学机械化程序文档用户手册

《组合数学机械化通用程序库软件》用户手册引言本系统的名称为“组合数学机械化通用程序库软件”，是由南开大学研发的。本软件的首批用户是南开大学组合数学中心的老师和研究生。本用户手册是关于组合数学机械化通用

《组合数学机械化通用程序库软件》用户手册 一、 引言 “” 本系统的名称为组合数学机械化通用程序库软件，是由南开大学研发的。 本软件的首批用户是南开大学组合数学中心的老师和研究生。 本用户手册是关于组合数学机械化通用程序库软件的帮助性文件，目的在于 描述软件的安装和使用，重点在于阐述程序库中主要函数的理论背景、调用格式 及输出结果。预期参考人员包括用户、测试人员、开发人员、项目管理者和其他 质量管理人员。 本用户手册中涉及到如下专用术语和外文单词缩写形式： a) ZeilbergerGosper 组合恒等式机器证明：在算法的基础上提出了一套证 WZ- 明组合恒等式的系统方法，后来又提出了对的方法，不仅能证明 许多已有的恒等式，还能发现一些新的恒等式。其主要思想是证明组合 恒等式的两边满足相同的递推关系，然后验证等式两边在初值情况下相 等。 b) 对称函数理论：对称函数理论是代数组合学中的一个重要研究领域，它 主要研究对称群和对称多项式的代数性质和组合性质，在数学的其他分 支和数学物理中有广阔的应用，是一个受到广泛关注的研究方向。 c) 组合双射理论：组合双射是指在同样数量的两个对象之间的对应。该理 论是组合计数理论的一个重要研究方向，有助于理解各种组合对象之间 的密切联系。 d) q-q- 级数：主要内容为超几何级数的模拟。利用组合对应、算子理论、 q-q- 基本变换、反演、自动证明等方法研究恒等式和级数的性质。 e) APCIAutoproofofbinatoricsIdentities ： f) SYMFSymmetricFunctions ： g) EPPTEnuemratingPaths,PermutationsandTrees ： h) CPQSputationPackageforq-Series ： i) EVSTExtremalValueofSetTheory ： j) PAPMPackageforApplicationsinProbabilityMethod ： 相关参考资料包括： a) 组合数学机械化通用程序库软件技术总结报告 b) 组合数学机械化通用程序库软件概要设计说明书 c) 组合数学机械化通用程序库软件详细设计说明书