活动程序

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)伊波尔特