@misc{indiciae1a3dd9e8cf4b,
  title = {Automatic Discovery of Irrationality Proofs and Irrationality Measures},
  author = {Doron Zeilberger and Wadim Zudilin},
  year = {2019},
  doi = {10.1142/s1793042120400230},
  url = {https://arxiv.org/abs/1912.10381},
  note = {Source identifier: 1912.10381}
}