@misc{indiciae857edae1729e,
  title = {Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar},
  author = {Shalosh B. Ekhad and Mingjia Yang and Doron Zeilberger},
  year = {2017},
  url = {https://arxiv.org/abs/1707.04654},
  note = {Source identifier: 1707.04654}
}