Skolem Problem for Linear Recurrence Sequences with 4 Dominant Roots (after Mignotte, Shorey, Tijdeman, Vereshchagin and Bacik)
Yuri Bilu
所有作者
Yuri Bilu
文献摘要
It is an exposition of the work of Mignotte, Shorey, Tijdeman, Vereshchagin and Bacik on decidability of the vanishing problem for linear recurrence sequences of order 4.