Foreword. Formalization of geometry, automated and interactive geometric reasoning
DOI10.1007/S10472-019-9617-2zbMATH Open1412.00052OpenAlexW2914434069MaRDI QIDQ2631955
No author found.
Publication date: 16 May 2019
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-019-9617-2
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to geometry (51-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
This page was built for publication: Foreword. Formalization of geometry, automated and interactive geometric reasoning
