Invalid proofs on incidence coloring.

Wai Chee Shiu Pak Kiu Sun

Published in: Discret. Math. (2008)

Keyphrases

theorem prover
theorem proving
equational theories
decision procedures
formal proof
search engine
natural deduction
mathematical knowledge
mathematical proofs
neural network
data mining
machine learning
multi agent
evolutionary algorithm
first order logic
automated theorem proving