1 citations · 1 across the 1 of their papers we have counts for
1 paper
Vesna Marinković, Tijana Šukilović, Filip Marić
We describe first steps towards a system for automated triangle constructions in absolute and hyperbolic geometry. We discuss key differences between constructions in Euclidean, ab…