Two injective proofs of a conjecture of Simion.

Miklós Bóna Bruce E. Sagan

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

Keyphrases

formal proofs
theorem proving
theorem prover
mathematical proofs
learning algorithm
natural deduction
machine learning
genetic algorithm
equational theories