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