中国科学院数学与系统科学研究院期刊网
A Mechanical Proof of Ramsey's Theorem via Symbolic Computation
LU Jian, ZENG Zhenbing
Journal of Systems Science and Mathematical Sciences . 2021, (12): 3311 -3323 .  DOI: 10.12341/jssms21441