Max Planck Institute for Software Systems
Campus E1 5
Saarbrücken, Germany
jnieuwve@mpi<insert minus sign>sws.org
Since 2021, I am a PhD student at MPI-SWS under supervision of Joël Ouaknine
studying linear recurrence sequences and linear dynamical systems.
Earlier I completed a bachelor's and master's in mathematics at the Radboud University Nijmegen.
On the decidability of monadic second-order logic with arithmetic predicates
pdf
V. Berthé, T. Karimov, J. Nieuwveld, J. Ouaknine, M. Vahanwala, and J. Worrell
Accepted to LICS, 2024
Twisted rational zeros of linear recurrence sequences.
pdf
doi
Y. Bilu, F. Luca, J. Nieuwveld, J. Ouaknine, and J. Worrell
Submitted, 2023
On the p-adic zeros of the Tribonacci sequence
pdf
doi
Y. Bilu, F. Luca, J. Nieuwveld, J. Ouaknine, and J. Worrell
Mathematics of Computation 93(347), 2023
Positivity Problems for Reversible Linear Recurrence Sequences
pdf
doi
G. Kenison, J. Nieuwveld, J. Ouaknine, and J. Worrell
Proc. of ICALP 2023
The Power of Positivity
pdf
doi
T. Karimov, E. Kelmendi, J. Nieuwveld, J. Ouaknine and J. Worrell
Proc. of LICS 2023
Skolem Meets Schanuel
pdf
doi
Y. Bilu, F. Luca, J. Nieuwveld, J. Ouaknine, D. Purser, and J. Worrell
Proc. of MFCS 2022
On the Skolem Problem and the Skolem Conjecture
pdf
doi
R. Lipton, F. Luca, J. Nieuwveld, J. Ouaknine, D. Purser, and J. Worrell
Proc. of LICS 2022
Fractions, Functions and Folding. A novel link between continued fractions, Mahler functions and paper folding
pdf
J. Nieuwveld
Master Thesis at Radboud University Nijmegen, supervised by W. Zudilin