Proofs and generalizations of a homomesy conjecture of Propp and Roby.

Jonathan Bloom Oliver Pechenik Dan Saracino

Published in: Discret. Math. (2016)

Keyphrases

theorem proving
formal proof
theorem prover
mathematical proofs
formal proofs
data mining
image processing
multimedia
image segmentation
video sequences
computer programs
automated theorem proving
natural deduction