Tuesday, November 19, 2013

Long Mathematical Proofs?...

odd_bridge_01.jpg

There is a Wikipedia page for them...

List of long proofs


Wish someone would organize a sensible collection of of Large Theories Common Sense problems, a bit like the TPTP collection. Also need to check out the Intuitionistic Logic benchmarks, the ILTP Library.

No comments:

Post a Comment