人脑用在刀刃上：可计算理论的教育思想初探

本文主要介绍了StephenWolfram对基本理论研究的认识，以及由此发展出来的基本工具Mathematica和可计算文档格式CDF，并对其重要项目WolframAlpha知识引擎与基于计算机的数学教育CBM进行了详细阐述，以期为我国教育信息化的发展提供参考素材和可利用的资源线索。