TY  - RPRT
TI  - Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar
AU  - Shalosh B. Ekhad
AU  - Mingjia Yang
AU  - Doron Zeilberger
PY  - 2017
UR  - https://arxiv.org/abs/1707.04654
ID  - 1707.04654
ER  -