TY  - RPRT
TI  - Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences
AU  - Shalosh B. Ekhad
AU  - N. J. A. Sloane
AU  - Doron Zeilberger
PY  - 2016
UR  - https://arxiv.org/abs/1609.05570
ID  - 1609.05570
ER  -