中文摘要

组合数学在近几十年的发展中，已逐渐走向系统化，成为了一个重要的数学分支。特别是它兼备很强的理论性和广泛的应用性，使它和其他学科和别的数学分支有着密切的联系。这一项目将着重研究代数方法（群表示论，生成函数方法，对称函数理论）在组合计数中的系统的应用，以及发展过去几年中新发现的证明组合恒等式的计算机算法（即机器证明）。. ^{代数组合论 ．国家自然科学基金委员会 [引用日期2021-07-11]}