1. The Simplicity Degree of Tarski’s Euclidean Geometry of Ruler and Dividers is 5;Results in Mathematics;2024-05-22
2. Can one design a geometry engine?;Annals of Mathematics and Artificial Intelligence;2018-12-12
3. Metric Geometries in an Axiomatic Perspective;From Riemann to Differential Geometry and Relativity;2017
4. Axiomatizing geometric constructions;Journal of Applied Logic;2008-03
5. Zur Konstruktiven Geometrie Euklidischer Ebenen;Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg;1998-12