Positivity of second order linear recurrent sequences

15 years 2 months ago

Download users.utu.fi

We give an elementary proof for the Positivity Problem for second order recurrent sequences: it is decidable whether or not a recurrent sequence defined by un = aun-1 + bun-2 has only nonnegative terms.

Vesa Halava, Tero Harju, Mika Hirvensalo

Real-time Traffic

DAM 2006 | Elementary Proof | Positivity Problem | Recurrent Sequence |

claim paper

» Analysis of SecondOrder Modes of Linear ContinuousTime Systems under PositiveReal Transfor...

» A Generalization of the MasseyDing Algorithm

» Shift Equivalence of Pfinite Sequences

» Convergence of a Time Discretisation for Doubly Nonlinear Evolution Equations of Second Or...

» Minimum MeanSquare Error Equalization for SecondOrder Volterra Systems

» An Undecidable Linear Order That Is nDecidable for All n

» Counting ClawFree Cubic Graphs

» A combinatorial approach to height sequences in finite partially ordered sets

Post Info
More Details (n/a)

Added	11 Dec 2010
Updated	11 Dec 2010
Type	Journal
Year	2006
Where	DAM
Authors	Vesa Halava, Tero Harju, Mika Hirvensalo

Comments (0)

Sciweavers

Positivity of second order linear recurrent sequences

DAM 2006 | Elementary Proof | Positivity Problem | Recurrent Sequence |

Explore & Download

Productivity Tools

Sciweavers