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