Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
4627
Dis Auftri
DIS_SAMMEL_4627
Jahr
2021
Titel
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
Quelle
Proceedings of the 13th International Conference on Automated Deduction in Geometry, Hagenberg, Austria/virtual, September 15-17, 2021, 156-166, Open Publishing Association
Autoren
