A proof of the q, t-Catalan positivity conjecture.

Adriano M. Garsia James Haglund

Published in: Discret. Math. (2002)

Keyphrases

theorem prover
theorem proving
proof search
proceedings of the th international conference
linear logic
data sets
information systems
multiresolution
association for artificial intelligence
databases
image segmentation
scale spaces
conference on artificial intelligence
proof planning
mathematical proofs