TY  - RPRT
TI  - Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra
AU  - Zoltán Kovács
AU  - Róbert Vajda
PY  - 2022
DO  - 10.4204/eptcs.352.19
UR  - https://arxiv.org/abs/2201.00545
ID  - 2201.00545
ER  -