TY  - RPRT
TI  - Symbolic Comparison of Geometric Quantities in GeoGebra
AU  - Zoltán Kovács
AU  - Róbert Vajda
PY  - 2022
DO  - 10.4204/eptcs.354.2
UR  - https://arxiv.org/abs/2202.04626
ID  - 2202.04626
ER  -