released
Implemented by
- David Purser
- Piotr Bacik
- Joris Nieuwveld
References
- Only non-degenerate order 3 LRS with 6 zeros. Frits Beukers. "The zero-multiplicity of ternary recurrences." Compositio Mathematica 77.2 (1991): 165–177.
- Leapfrogging algorithm basis. Bilu, Luca, Nieuwveld, Ouaknine, Purser, Worrell. "Skolem meets Schanuel." MFCS 2022. doi:10.4230/LIPIcs.MFCS.2022.20, arXiv:2204.13417.
- Derksen & Masser. "Linear equations over multiplicative groups..." Indagationes Math. 26.1 (2015): 113–136. doi:10.1016/j.indag.2014.08.002.
- Lipton et al. "On the Skolem Problem and the Skolem Conjecture." LICS 2022. doi:10.1145/3531130.3533328.
- Bacik, Ouaknine, Purser, Worrell. "On the p-adic Skolem Problem." Submitted. arXiv:2504.14413.