The positivity problem for fourth order linear recurrence sequences is decidable

DOI10.4064/CM128-1-11zbMath1284.11023OpenAlexW2332029353MaRDI QIDQ3165594

Pinthira Tangsupphathawat, Vichian Laohakosol, Narong Punnim

Publication date: 29 October 2012

Published in: Colloquium Mathematicum (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4064/cm128-1-11

zbMATH Keywords

decidabilityrecurrence sequencespositivity problem

Mathematics Subject Classification ID

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

This page was built for publication: The positivity problem for fourth order linear recurrence sequences is decidable