Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
4630
Dis Auftri
DIS_SAMMEL_4630
Jahr
2021
Titel
Parametric Root Finding for Supporting Proving and Discovering Geometric Inequalities in GeoGebra
Quelle
Proceedings of the 13th International Conference on Automated Deduction in Geometry, Hagenberg, Austria/virtual, September 15-17, 2021, 167-172, Open Publishing Association
Autoren
