The proof of a conjecture due to Snevily.

Ze-Tu Gao Jian-Hua Yin

Published in: Discret. Math. (2010)

Keyphrases

automated theorem proving
proof planning
neural network
artificial intelligence
theorem proving
mathematical proofs
geometry theorem proving
machine learning
image segmentation
preprocessing
feature space
theorem prover
linear logic