TY  - RPRT
TI  - Proceedings of the 13th International Conference on Automated Deduction in Geometry
AU  - Predrag Janičić
AU  - Zoltán Kovács
PY  - 2021
DO  - 10.4204/eptcs.352
UR  - https://arxiv.org/abs/2112.14770
ID  - 2112.14770
ER  -