Foreword: special issue on formalisation of geometry, automated and interactive geometric reasoning
Crossref DOI link: https://doi.org/10.1007/s10472-025-09992-8
Published Online: 2025-06-19
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kovács, Zoltán
Quaresma, Pedro
Text and Data Mining valid from 2025-06-19
Version of Record valid from 2025-06-19
Article History
First Online: 19 June 2025
Free to read: This content has been made available to all.