PHIL

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”