19 citations · 53 across the 10 of their papers we have counts for
1 paper · 2 filters
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…