2025/01/27 by Bilu, Yuri
#FOS: Mathematics #Number Theory (math.NT)
paper · doi:10.48550/arxiv.2501.16290
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.