4 citations · 5 across the 8 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.DG2024
Sub-Riemannian LR geodesic flows on Heisenberg groups
Milan Pavlovic, Tijana Sukilovic
In this paper, we study the normal geodesic flow associated with a sub-Riemannian structure corresponding to a left-invariant Riemannian metric and a right-invariant distribution (…
cs.LO2024
Towards Automated Readable Proofs of Ruler and Compass Constructions
Vesna Marinković, Tijana Šukilović, Filip Marić
Although there are several systems that successfully generate construction steps for ruler and compass construction problems, none of them provides readable synthetic correctness p…