3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.CG2022★ 1 cited
On Automating Triangle Constructions in Absolute and Hyperbolic Geometry
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…
cs.AI2012★ 3 cited
Towards Understanding Triangle Construction Problems
Vesna Marinkovic, Predrag Janicic
Straightedge and compass construction problems are one of the oldest and most challenging problems in elementary mathematics. The central challenge, for a human or for a computer p…