The 9th International Workshop on Automated Deduction in Geometry
Activity: Participating in or organising an event types › Participation in workshop, seminar, course
Activity: Participating in or organising an event types › Participation in workshop, seminar, course