TY  - RPRT
TI  - Automated Generation of Illustrations for Synthetic Geometry Proofs
AU  - Predrag Janičić
AU  - Julien Narboux
PY  - 2022
DO  - 10.4204/eptcs.352.9
UR  - https://arxiv.org/abs/2201.00540
ID  - 2201.00540
ER  -