文件名称:eProofElectron:为数学证明创建基于网络的学习环境-开源
文件大小:82.55MB
文件格式:ZIP
更新时间:2024-08-07 09:49:28
开源软件
使用此工具,您可以将数学证明的学习环境创建为单个 HTML 文件,该文件可以上传到 Web 服务器或在学生计算机上离线使用。 教师可以决定向学生提供哪些支持。 单个证明步骤的自我评估和完整证明可在离线环境中使用。 学生只需要一个浏览器即可运行电子校样环境。 eProofElectron 是教师创建 eProof-HTML 文件的创作工具。 此外,可以导出 IMathAS 任务,以便在 Internet 数学评估系统 (IMathAS) 中使用自动评估。 http://e-proof.weebly.com