Fields of science
- 503 Educational Sciences
- 503007 Didactics
- 503013 Subject didactics of natural sciences
JKU Focus areas
- Computation in Informatics and Mathematics
- Engineering and Natural Sciences (in general)
Automated discovery of elementary geometry theorems: First steps
- Miguel Abánades (Speaker)
- F. Botana (Speaker)
- T. Recio (Speaker)
- Csilla Sólyom-Gecse (Speaker)
- Zoltán Kovács (Speaker)
Activity: Talk or presentation › Contributed talk › unknown