@misc{indiciae3044e0b8d253,
  title = {Decision problems for linear recurrences involving arbitrary real numbers},
  author = {Eike Neumann},
  year = {2021},
  doi = {10.46298/lmcs-17(3:16)2021},
  url = {https://arxiv.org/abs/2008.00583},
  note = {Source identifier: 2008.00583}
}