活动程序

ActuMeSATE是一个稳定的、基于网络的、多语言的、用户自适应的数学学习系统。它是一个具有多种服务的语义Web应用程序。它是模型视图控制器架构，如图所示，ActudiMaST是一个服务器应用程序，只有几个附加工具需要在客户端上安装。在Read中描述了使用ActuiMaScript的技术要求。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。

ZBMaX中的参考文献（48篇）1标准条款）

显示结果1至20的48。
按年份排序（引文）
  1. Alavi Milani，Mir Mohammad Reza；霍塞因普尔，Sahereh；佩里万，胡赛因：基于规则的数学表达式的产生（2018）
  2. 弗朗西斯科，Hohenwarter，Markus；贾尼亚依，普拉托，科瓦卡斯，佐尔坦，彼得维奇，伊凡；迪索，汤姆斯；Weitzhofer，西蒙：地理定理中的自动定理证明：当前成就（2015）
  3. Narciss、苏珊、Sosnovsky、谢尔盖、安德烈斯、埃里克：将辅导反馈策略与动机相适应（2014）伊波尔特
  4. Nghiem，Munh Quoc；克里斯蒂安托，Giovanni Yoko；Topii，Goran；AsiaaAkik:哪一个更好：基于演示还是基于内容的数学搜索？（2014）
  5. 陈，Xiaoyu；王，东明：几何知识对象的形式化和规范化（2013）
  6. 迪朗，纪尧姆；BelaCel.，Nabil；LaPLANTE，弗兰Sou-OIS：基于图论的学习路径推荐模型（2013）伊波尔特
  7. 戴维，卡托林，JovsCi，康斯坦丁；KoalHase，安德列；KoHasHase，米迦勒：语义联盟：语义联盟的框架（2012）
  8. 谭金克，Carst；Guver，赫尔曼；麦金纳，杰姆斯：讲述形式证明（正在进行中的工作）（2012）伊波尔特
  9. AutxIe，瑟奇；戴维，Calalin；迪特里希，Dominik；Kohlhase，米迦勒；Zholudev，Fiel:科学、技术、工程和数学管理变革的工作流程（2011）
  10. FEST，安德烈亚斯：添加智能评估：将动态数学软件组件集成到交互式学习活动中的Java框架（2011）马修德
  11. HeelEN，BasTiaAn；Juffy，Johan：交错策略（2011）
  12. 兰格，克里斯托夫：KRXOTROR——一种将内容数学贡献到数据网络的可扩展框架（2011）
  13. 兰格，克里斯托夫：通过语义Web集成实现半正式数学知识的协作（2011）
  14. 陈，Xiaoyu：电子几何教科书：几何教科书知识管理系统（2010）
  15. 科恩，A. M.；CuyPes，H；Vrijjz，R：交互式文献中的数学背景（2010）
  16. HeeleN，BasTiaAn；Juffy，Johan；Gerdes，亚历克斯：指定交互式练习的重写策略（2010）
  17. 梅利斯，埃莉卡；福尔哈伯，阿尔恩特；道斯特，Ahmad Salim；乌尔里希，卡斯滕：支持灵活胜任力框架（2010）伊波尔特
  18. Goever，H:证明助理：历史、思想和未来（2009）
  19. Giceva，Jana；兰格，克里斯托夫；Rabe，弗洛里安：将Web服务集成到主动数学文档中（2009）
  20. Goguadze，乔治：基于Web的练习的语义评价服务（2009）伊波尔特