research
∙
02/08/2022
Symbolic Comparison of Geometric Quantities in GeoGebra
Comparison of geometric quantities usually means obtaining generally tru...
research
∙
01/03/2022
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra
We introduced the package/subsystem GeoGebra Discovery to GeoGebra which...
research
∙
02/02/2020
An explicit univariate and radical parametrization of the septic proper Zolotarev polynomials in power form
The problem of determining an explicit one-parameter power form represen...
research
∙
07/31/2017