Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
George Andrews's paper Pfaff's method (I):
The Mills-Robbins-Rumsey determinant contains, according to the author, "the world's most cumbersome mathematical induction ever." It uses induction to simultaneously prove 20 different identities.
