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