1. Deciding ω-regular properties on linear recurrence sequences
2. Joseph Ayoub . 2014. Periods and the conjectures of Grothendieck and Kontsevich-Zagier . European Mathematical Society . Newsletter91 ( 2014 ), 12–18. Joseph Ayoub. 2014. Periods and the conjectures of Grothendieck and Kontsevich-Zagier. European Mathematical Society. Newsletter91 (2014), 12–18.
3. Saugata Basu Richard Pollack and Marie-Francois Roy. 2006. Real Roots. Springer Berlin Heidelberg 351–401. https://doi.org/10.1007/3-540-33099-2_11 Saugata Basu Richard Pollack and Marie-Francois Roy. 2006. Real Roots. Springer Berlin Heidelberg 351–401. https://doi.org/10.1007/3-540-33099-2_11
4. On the positivity set of a linear recurrence sequence
5. Jean Berstel and Maurice Mignotte . 1976. Deux propriétés décidables Des Suites récurrentes linéaires. Bulletin de la Societe mathematique de France 79 ( 1976 ), 175–184. https://doi.org/10.24033/bsmf.1823 Jean Berstel and Maurice Mignotte. 1976. Deux propriétés décidables Des Suites récurrentes linéaires. Bulletin de la Societe mathematique de France 79 (1976), 175–184. https://doi.org/10.24033/bsmf.1823