Short Proofs Of Combinatorial Identities For n!

Angel Plaza Sergio Falcón

Published in: Ars Comb. (2011)

Keyphrases

image processing
theorem prover
theorem proving
formal proofs
genetic algorithm
multimedia
clustering algorithm
optimal solution
hidden markov models
formal proof
equational theories