Formalization of geometry, automated and interactive geometric reasoning
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
7171
Dis Auftri
DIS_ZEITSC_7171
Jahr
2023
Titel
Formalization of geometry, automated and interactive geometric reasoning
Quelle
-, 91, 6, 751-752, https://link.springer.com/article/10.1007/s10472-023-09909-3
Autoren
