Proof of two conjectures of Zuber on fully packed loop configurations.

Fabrizio Caselli Christian Krattenthaler

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

Keyphrases

theorem prover
geometry theorem proving
automated theorem proving
social networks
theorem proving
inductive inference
real time
information retrieval
computer vision
multimedia
lower bound
first order logic
mathematical proofs