A Mechanical Proof of Ramsey's Theorem via Symbolic Computation
LU Jian, ZENG Zhenbing
Journal of Systems Science and Mathematical Sciences ›› 2021, Vol. 41 ›› Issue (12) : 3311-3323.
A Mechanical Proof of Ramsey's Theorem via Symbolic Computation
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |