pith. sign in

arxiv: 1005.0600 · v1 · submitted 2010-05-04 · 💻 cs.SC

When can we decide that a P-finite sequence is positive?

classification 💻 cs.SC
keywords algorithmsp-finiterecurrencesequencesterminatetheyassertclasses
0
0 comments X
read the original abstract

We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences). Both algorithms have in common that while they do succeed on a great many examples, there is no guarantee for them to terminate, and they do in fact not terminate for every input. For some restricted classes of P-finite recurrence equations of order up to three we provide a priori criteria that assert the termination of the algorithms.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.