Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning
PH
Private Pädagogische Hochschule Linz
Leistungstyp
Beitrag in einer Fachzeitschrift
LL Nr
9470
Dis Auftri
DIS_ZEITSC_9470
Jahr
2025
Titel
Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning
Quelle
-, -, https://doi.org/10.1007/s10472-025-09992-8
Autoren
