Human-Machine Collaboration in the Teaching of Proof
Autor: | Gila Hanna, Brendan Larvor, Xiaoheng Yan |
---|---|
Rok vydání: | 2023 |
Předmět: | |
Zdroj: | Journal of Humanistic Mathematics. 13:99-117 |
ISSN: | 2159-8118 |
DOI: | 10.5642/jhummath.azev3747 |
Databáze: | OpenAIRE |
Externí odkaz: |