1. Open Source Prover in the Attic;Electronic Proceedings in Theoretical Computer Science;2024-01-22
2. A program to create new geometry proof problems;Annals of Mathematics and Artificial Intelligence;2023-05-16
3. Automated discovery of angle theorems;Annals of Mathematics and Artificial Intelligence;2023-05-09
4. Automated Discovery of Geometrical Theorems in GeoGebra;Electronic Proceedings in Theoretical Computer Science;2022-02-08
5. Evolution of Automated Deduction and Dynamic Constructions in Geometry;Mathematics Education in the Age of Artificial Intelligence;2022