组合数学在近几十年的发展中,已逐渐走向系统化,成为了一个重要的数学分支。特别是它兼备很强的理论性和广泛的应用性,使它和其他学科和别的数学分支有着密切的联系。这一项目将着重研究代数方法(群表示论,生成函数方法,对称函数理论)在组合计数中的系统的应用,以及发展过去几年中新发现的证明组合恒等式的计算机算法(即机器证明)。.
{{i.achievement_title}}
数据更新时间:2023-05-31
一种基于多层设计空间缩减策略的近似高维优化方法
基于改进LinkNet的寒旱区遥感图像河流识别方法
基于MCPF算法的列车组合定位应用研究
新型树启发式搜索算法的机器人路径规划
现代优化理论与应用
群与代数的表示论和代数组合论
组合矩阵论与代数图论
群论与代数组合论讲学
多重线性代数与组合矩阵论研究