Special issue on Formalization of Geometry, Automated and Interactive Geometric Reasoning
Guest Editors: Zoltan Kovacs & Pedro Quaresma
Submission Deadline: November 24th, 2024
Guest Editors: Zoltan Kovacs & Pedro Quaresma
Submission Deadline: November 24th, 2024
Guest editors: Mehwish Alam, Tanya Braun, Bruno Yun, Dominik Endres
Submission deadline: April 15 2021
Guest Editors:
- Angelo Ferrando, University of Genoa, Italy
- Rafael C. Cardoso, University of Aberdeen, United Kingdom
Submission Deadline: February 1, 2024