Articles by Noam Zeilberger

A proof-theoretic analysis of the rotation lattice of binary trees

-- Noam Zeilberger (Birmingham University)

Join seminar with the Parsifal team The classical Tamari lattice Yn is defined as the set of binary trees with n internal nodes, with the partial ordering induced by the (right) rotation operation. It is not obvious why Yn is a lattice, but this was first proved by Haya Friedman ...