动态数学

ActiveMath是一个稳定的、基于web的、多语言、用户自适应的数学学习系统。它是一个具有许多服务的语义Web应用程序。它的模型-视图-控制器体系结构如图所示,表明ActiveMath是一个服务器应用程序,只有少数附加工具需要安装在客户机上。在自述中描述了使用ActiveMath的技术要求。


zbMATH中的参考文献(参考文献48条,1标准件)

显示结果1到20,共48个。
按年份排序(引用)
  1. 阿拉维·米拉尼,米尔·穆罕默德·雷扎;萨赫勒侯赛因普尔;Pehlivan,Huseyin:基于规则的数学表达式生成(2018)
  2. 博塔纳,旧金山;霍亨瓦特,马库斯;贾尼契奇,普雷特拉格;科瓦茨,佐坦;彼得罗维奇,伊万;累西奥,汤玛斯;西蒙•韦茨霍夫:《GeoGebra中的自动定理证明:当前成就》(2015)
  3. 纳西丝,苏珊娜;索斯诺夫斯基,谢尔盖;Andres,Eric:根据动机调整辅导反馈策略(2014)ioport公司
  4. 明渠Ngheim;克里斯提安托,乔瓦尼·洋子;托皮奇,戈兰;Aizawa,Aiko:哪一个更好:基于表示的还是基于内容的数学搜索?(2014年)
  5. 陈晓宇;王东明:几何知识对象的形式化与规范化(2013)
  6. 杜兰德,纪尧姆;贝拉塞尔,纳比勒;拉普兰特,弗朗索瓦:基于图论的学习路径推荐模型(2013)ioport公司
  7. 大卫,加泰林;朱科夫斯基,康斯坦丁;科哈塞,安德里亚;Kohlhase,Michael:语义联盟:语义联盟框架(2012)
  8. Tankink,Carst公司;格韦尔斯,赫尔曼;詹姆斯·麦金纳:叙述正式证据(正在进行的工作)(2012年)ioport公司
  9. 奥特西耶,谢尔盖;大卫,加泰林;迪特里希,多米尼克;科哈塞,迈克尔;Zholudev,Vyacheslav:科学、技术、工程和数学变革管理工作流程(2011)
  10. Fest,Andreas:《添加智能评估:将动态数学软件组件集成到交互式学习活动中的Java框架》(2011)数学
  11. 希伦,巴斯蒂安;Johan Jeuring:交错策略(2011)
  12. Lange,Christoph:Krextor——一个用于向数据网络贡献内容数学的可扩展框架(2011)
  13. Lange,Christoph:通过语义web集成实现半形式数学知识的协作(2011)
  14. 陈晓宇:电子几何教材:几何教材知识管理系统(2010)
  15. 科恩,A.M。;库珀,H。;Verrijzer,R.:交互式文档中的数学上下文(2010)
  16. 希伦,巴斯蒂安;杰瑞,约翰;Gerdes,Alex:为互动练习指定重写策略(2010)
  17. 梅利斯,艾丽卡;福勒伯,阿恩特;末日,艾哈迈德萨利姆;Ullrich,Carsten:支持灵活的能力框架(2010)ioport公司
  18. Geuvers,H.:证明助理:历史、想法和未来(2009)
  19. 吉塞瓦,雅娜;兰格,克里斯托夫;Rabe,Florian:将web服务集成到活动数学文档中(2009)
  20. Goguadze,George:基于web的练习的语义评估服务(2009)ioport公司