19 citations · 53 across the 10 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
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…
cs.SC2012★ 17 cited
Formalization and Implementation of Algebraic Methods in Geometry
Filip Marić, Ivan Petrović, Danijela Petrović +1
We describe our ongoing project of formalization of algebraic methods for geometry theorem proving (Wu's method and the Groebner bases method), their implementation and integration…