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.
The bijection in
Rubey, Martin; Stump, Christian, Double deficiencies of Dyck paths via the Billey-Jockusch-Stanley bijection, J. Integer Seq. 20, No. 9, Article 17.9.6, 9 p. (2017). ZBL1384.05048.
was essentially found by computer.
