✦ LIBER ✦

The Computer-aided Discovery of a Theorem about Young Tableaux

✍ Scribed by Herbert S. Wilf

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 141 KB
Volume: 20
Category: Article
ISSN: 0747-7171
DOI: 10.1006/jsco.1995.1074

No coin nor oath required. For personal study only.

✦ Synopsis

Recently a relationship was discovered between the number of permutations of (n) letters that have no increasing subsequence of length (>k), on the one hand, and the number of Young tableaux of (n) cells whose first row is of length (\leq k), on the other. The proof seemed quite unmotivated and artificial. Here we describe the sequence of events that led to the discovery, via computer algebra, of this relationship.

📜 SIMILAR VOLUMES

Modernization of the mechanical engineer

Modernization of the mechanical engineering curriculum and guidelines for computer-aided engineering instruction

✍ Sheryl A. Sorby; Graham Walker; Miles Yano; Vladimir Glozman; Kevin Kochersberge 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 210 KB 👁 3 views

Recent advances in computer technologies have resulted in a significant paradigm shift within American industry in the engineering design process. Unfortunately, engineering education has not evolved similarly to take advantage of these new design and analysis tools within the curriculum. Thus, ther