A Quantum-Inspired Mechanical Method for Proving of Ramsey's Theorem by Symbolic Computation over the Finite Field GF(2).

Zhenbing Zeng, Jian Lu, Liangyu Chen

Browse the full ICTAC paper archive.