1. Diophantine equations and Fermat’s last theorem for multivariate (skew-)polynomials;Applied Mathematics-A Journal of Chinese Universities;2024-03
2. Fermat’s Last Theorem;Handbook of the History and Philosophy of Mathematical Practice;2024
3. Covering sumsets of a prime field and class numbers;Research in the Mathematical Sciences;2023-09-23
4. Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
5. Poincaré and Arithmetic Revisited;Archimedes;2023