Activities per year
Activities
- 1 Invited talk
-
Solving Discovery/Proving/Exploration Problems in Elementary Geometry by Real Quantifier Elimination
Vajda, R. (Speaker)
23 Feb 2023Activity: Talk or presentation › Invited talk › science-to-science