Proof of a conjecture of Stanley-Zanello.

Published in: J. Comb. Theory, Ser. A (2014)

Keyphrases

theorem proving
proof planning
mathematical proofs
database
theorem prover
linear logic
formal proof
data sets
artificial intelligence
decision trees
high level
preprocessing
proof theory
interactive theorem proving