4 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2022★ 4 cited
Automated Generation of Illustrations for Synthetic Geometry Proofs
Predrag Janičić, Julien Narboux
We report on a new, simple, modular, and flexible approach for automated generation of illustrations for (readable) synthetic geometry proofs. The underlying proofs are generated u…
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…