Mathematical experience in game‐based problem‐solving
Ke, Fengfeng, Dai, Chih‐Pu, West, Luke
Published in Journal of computer assisted learning (01.06.2024)
Published in Journal of computer assisted learning (01.06.2024)
Get full text
Journal Article
Using Mathematizing Supports for Applied Problem Solving in a Game-Based Learning Environment
Ke, Fengfeng, Dai, Chih-Pu, West, Luke, Pan, Yanjun, Xu, Jiabei
Published in Journal of educational computing research (01.04.2024)
Published in Journal of educational computing research (01.04.2024)
Get full text
Journal Article
Forge: A Tool and Language for Teaching Formal Methods
Nelson, Tim, Greenman, Ben, Prasad, Siddhartha, Dyer, Tristan, Bove, Ethan, Chen, Qianfan, Cutting, Charles, Del Vecchio, Thomas, LeVine, Sidney, Rudner, Julianne, Ryjikov, Ben, Varga, Alexander, Wagner, Andrew, West, Luke, Krishnamurthi, Shriram
Published in Proceedings of ACM on programming languages (29.04.2024)
Published in Proceedings of ACM on programming languages (29.04.2024)
Get full text
Journal Article