The positivity problem for fourth order linear recurrence sequences is decidable
Pinthira Tangsupphathawat; Narong Punnim; Vichian Laohakosol
Colloquium Mathematicae (2012)
- Volume: 128, Issue: 1, page 133-142
- ISSN: 0010-1354
Access Full Article
top
Abstract
topHow to cite
topPinthira Tangsupphathawat, Narong Punnim, and Vichian Laohakosol. "The positivity problem for fourth order linear recurrence sequences is decidable." Colloquium Mathematicae 128.1 (2012): 133-142. <http://eudml.org/doc/284232>.
@article{PinthiraTangsupphathawat2012,
abstract = {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.},
author = {Pinthira Tangsupphathawat, Narong Punnim, Vichian Laohakosol},
journal = {Colloquium Mathematicae},
keywords = {positivity problem; recurrence sequences; decidability},
language = {eng},
number = {1},
pages = {133-142},
title = {The positivity problem for fourth order linear recurrence sequences is decidable},
url = {http://eudml.org/doc/284232},
volume = {128},
year = {2012},
}
TY - JOUR
AU - Pinthira Tangsupphathawat
AU - Narong Punnim
AU - Vichian Laohakosol
TI - The positivity problem for fourth order linear recurrence sequences is decidable
JO - Colloquium Mathematicae
PY - 2012
VL - 128
IS - 1
SP - 133
EP - 142
AB - 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.
LA - eng
KW - positivity problem; recurrence sequences; decidability
UR - http://eudml.org/doc/284232
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.