数学院数学机械化重点实验室（中文）

2018年度中科院数学院重要科研进展奖

副标题：组合恒等式机器证明中Wilf-Zeilberger猜想的证明

时间：2018-04-11 来源：

2018年度中科院数学院重要科研进展奖:组合恒等式机器证明中Wilf-Zeilberger猜想的证明

相关附件

相关文档