GeoGebra and the realgeom Reasoning Tool
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einem Sammelwerk
LL Nr
3172
Dis Auftri
DIS_SAMMEL_3172
Jahr
2020
Titel
GeoGebra and the realgeom Reasoning Tool
Quelle
PAAR+SC-Square 2020. Workshop on Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020, 2752, 204-219, Online
Autoren
