Values taken by linear combinations of cosine functions.
The positivity problem for fourth order linear recurrence sequences is decidable
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.
Coprimality of integers in Piatetski-Shapiro sequences
We use the estimation of the number of integers such that belongs to an arithmetic progression to study the coprimality of integers in , , .
Page 1