A combinatorial proof of the Chan--Robbins--Yuen volume formula

Nurtas Shyntas

The Chan--Robbins--Yuen polytope ${\mathrm{CRY}}_{m+1}$ has normalized volume ${\prod }_{j=1}^{m-1}{C}_j$, a product of Catalan numbers. Zeilberger proved the formula using the Morris con…