Positivity of third order linear recurrence sequences

DOI10.1016/j.dam.2009.06.021zbMath1209.11020OpenAlexW2062651539MaRDI QIDQ967380

Pinthira Tangsupphathawat, Vichian Laohakosol

Publication date: 28 April 2010

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.dam.2009.06.021

zbMATH Keywords

decidabilityrecurrence sequencespositivity problem

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Recurrences (11B37) Decidability of theories and sets of sentences (03B25)

Related Items (7)

What's decidable about discrete linear dynamical systems? ⋮ Recurrence relations, succession rules and the positivity problem ⋮ Analyzing ultimate positivity for solvable systems ⋮ Recurrence Relations, Succession Rules, and the Positivity Problem ⋮ The signs of three-term recurrence sequences ⋮ A comparison of algorithms for proving positivity of linearly recurrent sequences ⋮ Algebraic model checking for discrete linear dynamical systems

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the positivity set of a linear recurrence sequence
• Positivity of second order linear recurrent sequences
• Mortality in Matrix Semigroups
• Deux propriétés décidables des suites récurrentes linéaires
• Mortality of 2 × 2 Matrices
• Point lattices and oscillating recurrence sequences^†
• Unsolvability in 3 × 3 Matrices

This page was built for publication: Positivity of third order linear recurrence sequences