Aktivitäten
- 1 Eingeladener Vortrag
-
Solving Discovery/Proving/Exploration Problems in Elementary Geometry by Real Quantifier Elimination
Vajda, R. (Vortragende*r)
23 Feb. 2023Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science