A proof of Julian West's conjecture that
✍
Doron Zeilberger
📂
Article
📅
1992
🏛
Elsevier Science
🌐
English
⚖ 552 KB
Zeilberger, D., A proof of Julian West's conjecture that the number of two-stack-sortable permutations of length n is 2(3n)!/((n + 1)!(2n + l)!), Discrete Mathematics 102 (1992) 85-93. The Polya-Schutzenberger-Tutte methodology of weight enumeration, combined with about 10 hours of CPU time (of Map