A Sane Proof that COLk ࣘ COL3.

William I. Gasarch

Published in: CoRR (2014)

Keyphrases

theorem proving
theorem prover
neural network
similarity measure
geometry theorem proving
real time
databases
data mining
web services
data structure