3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
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…