中国科学院数学与系统科学研究院期刊网
用符号计算证明Ramsey定理的一个机械化方法
鲁健, 曾振柄
A Mechanical Proof of Ramsey's Theorem via Symbolic Computation
LU Jian, ZENG Zhenbing
系统科学与数学 . 2021, (12): 3311 -3323 .  DOI: 10.12341/jssms21441