TY  - RPRT
TI  - Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
AU  - Christopher W. Brown
AU  - Zoltán Kovács
AU  - Róbert Vajda
PY  - 2022
DO  - 10.4204/eptcs.352.18
UR  - https://arxiv.org/abs/2201.00544
ID  - 2201.00544
ER  -