A Cooperative Grid Computing Approach to Automated Theorem Finding and Automated Problem Proposing.

Jingde Cheng, Yuichi Goto, Shinsuke Nara, Takahiro Koh

Browse the full KES paper archive.