research
∙
01/03/2022
Automated Generation of Illustrations for Synthetic Geometry Proofs
We report on a new, simple, modular, and flexible approach for automated...
research
∙
10/02/2017