The positivity problem for fourth order linear recurrence sequences is decidable

• Autorzy: Pinthira Tangsupphathawat , Narong Punnim , Vichian Laohakosol
• Języki publikacji: EN

Abstrakty

EN

The problem whether each element of a sequence satisfying a fourth order linear recurrence with integer coefficients is nonnegative, referred to as the Positivity Problem for fourth order linear recurrence sequence, is shown to be decidable.

Kategorie tematyczne

• 11B37: Recurrences
• 03D20: Recursive functions and relations, subrecursive hierarchies

• Wydawca: Institute of Mathematics Polish Academy of Sciences
• Czasopismo: Colloquium Mathematicum
• Rocznik: 2012
• Tom: 128
• Numer: 1
• Strony: 133-142

Daty

wydano

2012

Twórcy

autor

Pinthira Tangsupphathawat

• Department of Mathematics, Srinakharinwirot University, Bangkok 10110, Thailand

autor

Narong Punnim

• Department of Mathematics, Srinakharinwirot University, Bangkok 10110, Thailand

autor

Vichian Laohakosol

• Department of Mathematics, Kasetsart University, Bangkok 10900, Bangkok
• Centre of Excellence in Mathematics, CHE, Bangkok 10400, Thailand

Identyfikatory

DOI

10.4064/cm128-1-11