PHIL, a Maple package that implements (and empirically verifies!) Phlip Matchett Wood’s lovely article ”A biective proof of fn+4+1f1+2f2+ ... + nfn=(n+1)fn+2+3”
References in zbMATH (referenced in 2 articles , 1 standard article )
Showing results 1 to 2 of 2.
- Wood, Philip Matchett; Zeilberger, Doron: A translation method for finding combinatorial bijections (2009)
- Wood, Philip Matchett: A bijective proof of $f_n+4 + f_1 + 2f_2 + \cdots + n f_n = (n+1)f_n+2 + 3$ (2006)