TY - RPRT TI - Decision problems for linear recurrences involving arbitrary real numbers AU - Eike Neumann PY - 2021 DO - 10.46298/lmcs-17(3:16)2021 UR - https://arxiv.org/abs/2008.00583 ID - 2008.00583 ER -