On automated completion of geometry statements and proofs with GeoGebra Discovery
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
8861
Dis Auftri
DIS_ZEITSC_8861
Jahr
2024
Titel
On automated completion of geometry statements and proofs with GeoGebra Discovery
Quelle
-, -, https://link.springer.com/article/10.1007/s10472-024-09964-4
Autoren
