Skolem meets schanuel Y Bilu, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell arXiv preprint arXiv:2204.13417, 2022 | 17 | 2022 |
On the skolem problem and the skolem conjecture R Lipton, F Luca, J Nieuwveld, J Ouaknine, D Purser, J Worrell Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 12 | 2022 |
On the 𝑝-adic zeros of the Tribonacci sequence Y Bilu, F Luca, J Nieuwveld, J Ouaknine, J Worrell Mathematics of Computation 93 (347), 1333-1353, 2024 | 5 | 2024 |
Positivity Problems for Reversible Linear Recurrence Sequences G Kenison, J Nieuwveld, J Ouaknine, J Worrell 50th International Colloquium on Automata, Languages, and Programming (ICALP …, 2023 | 5* | 2023 |
The power of positivity T Karimov, E Kelmendi, J Nieuwveld, J Ouaknine, J Worrell 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-11, 2023 | 4 | 2023 |
Fractions, functions and folding. A novel link between continued fractions, Mahler functions and paper folding J Nieuwveld arXiv preprint arXiv:2108.11382, 2021 | 3 | 2021 |
Explicit constructions for semidirect products in Inverse Galois Theory J Nieuwveld, B Souvignier, W Bosma Radboud University Nijmegen Nijmegen, 2019 | 1 | 2019 |
Twisted rational zeros of linear recurrence sequences Y Bilu, F Luca, J Nieuwveld, J Ouaknine, J Worrell arXiv preprint arXiv:2401.06537, 2024 | | 2024 |
On the Decidability of Monadic Second-Order Logic with Arithmetic Predicates V Berthé, T Karimov, J Nieuwveld, J Ouaknine, M Vahanwala, J Worrell | | 2024 |
A note on Leinster groups J Nieuwveld | | |