A Mechanical Proof of Ramsey's Theorem via Symbolic Computation
LU Jian, ZENG Zhenbing
Journal of System Science and Mathematical Science Chinese Series ›› 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}}
|
/
〈 | 〉 |