| Original language | English |
|---|---|
| Pages (from-to) | 142-152 |
| Number of pages | 11 |
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 398 |
| DOIs | |
| Publication status | Published - 22 Jan 2024 |
| Event | 14th International Conference on Automated Deduction in Geometry, ADG 2023 - Belgrade, Serbia Duration: 20 Sept 2023 → 22 Sept 2023 |
UN SDGs
This output contributes to the following UN Sustainable Development Goals (SDGs)
-
SDG 4 Quality Education
Fields of science
- 503013 Subject didactics of natural sciences
- 101 Mathematics
- 503 Educational Sciences
- 503008 E-learning
- 503015 Subject didactics of technical sciences
- 503007 Didactics
- 503032 Teaching and learning research
JKU Focus areas
- Digital Transformation
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver