Towards design principles for learning environments based on theorem provers.
Saved in:
| Title: | Towards design principles for learning environments based on theorem provers. |
|---|---|
| Authors: | Gamelo, Irene1 ireneg@math.upb.de, Liebendörfer, Michael1 |
| Source: | Congress of the European Society for Research in Mathematics Education. 2/4/2026, Vol. 14, p1766-1773. 8p. |
| Database: | Mathematics Source |
| Description not available. |
