Abstract. We study decision problems for sequences which obey a second-order holonomic recurrence of the form f(n + 2) = P(n)f(n + 1) + Q(n)f(n) with ...

We study decision problems for sequences which obey a second-order holonomic recurrence of the form f(n+2) = P(n)f(n+1) + Q(n)f(n) with rational polynomial ...

We study decision problems for sequences which obey a second-order holonomic recurrence of the form f(n + 2) = P(n)f(n + 1) + Q(n)f(n) with rational polynomial ...

2021/07/02 · We study decision problems for sequences which obey a second-order holonomic recurrence of the form f(n + 2) = P(n) f(n + 1) + Q(n) f(n) with ...

We study decision problems for sequences which obey a second-order holonomic recurrence of the form f(n + 2) = P(n) f(n + 1) + Q(n) f(n) with rational ...

2021/05/20 · We study decision problems for sequences which obey a second-order holonomic recurrence of the form f(n + 2) = P(n)f(n + 1) + Q(n)f(n) with rational polynomial ...

期間: 24:56
投稿: 2021/07/16

Eike Neumann, Joël Ouaknine, James Worrell: Decision Problems for Second-Order Holonomic Recurrences. ICALP 2021: 99:1-99:20.

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers. Sign up for an account to ...

2023/05/23 · Decision problems for second-order holonomic recurrences. In 48th International Colloquium on Automata, Languages, and Programming,. Page 16 ...