Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar

Shalosh B. Ekhad, Mingjia Yang, Doron Zeilberger

The On-Line Encyclopedia Of Integer Sequences , that wonderful resource that most combinatorialists, and many other mathematicians and scientists, use at least once a day, is a tre…