第十二届中国数学会计算机数学大会 (CM2021)

P000002

用符号计算证明Ramsey定理的机械化方法  


*健 鲁 (上海大学数学系)
振柄 曾 (上海大学数学系)


Math formula preview: