Curvature based shape detection. - Tijana Sukilovic (Comput. Geom., 2015)

On Automating Triangle Constructions in Absolute and Hyperbolic Geometry. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (ADG, 2021)

Towards Automated Readable Proofs of Ruler and Compass Constructions. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (ADG, 2023)

Automated triangle constructions in hyperbolic geometry. - Vesna Marinkovic; Tijana Sukilovic; Filip Maric (Ann. Math. Artif. Intell., 2023)