1. Poincaré on the value of reasoning machines;Bulletin of the American Mathematical Society;2024-05-15
2. Conditions on centroids implying Euclideanity;Beiträge zur Algebra und Geometrie / Contributions to Algebra and Geometry;2024-04-10
3. Ordered absolute geometry;Journal of Geometry;2024-04-06
4. Why did Euclid not need the Pasch axiom?;Journal of Geometry;2024-02-17
5. Axiomatizing Origami Planes;Outstanding Contributions to Logic;2024