动态数学

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考 48篇文章 48篇，1标准件)

显示结果1到20，共48个。
按年份排序(引用)
  1. Alavi Milani，Mir Mohammad Reza；Hosseinpour，Sahereh；Pehlivan，Huseyin：基于规则的数学表达式生成（2018）
  2. 弗朗西斯科·吉奥韦奇（Simon Hotzácurrent）；普雷科夫（Simon Hotzác）自动证明；普雷科夫（Simon Hotzá_current）；普雷科夫（Simon Hotá_current）定理；普雷科维奇（Simon Hotá_current）；拉格沃茨（Geotzá_current）；拉格沃茨（Geovar）定理；拉格沃茨（Geoc
  3. Narciss，Susanne；Sosnovsky，Sergey；Andres，Eric:调整辅导反馈策略以适应动机（2014）ioport公司
  4. Nghiem，Minh Quoc；Kristianto，Giovanni Yoko；Topić，Goran；Aizawa，Aiko：哪一个更好：基于演示还是基于内容的数学搜索？（2014年）
  5. 陈晓宇；王东明：几何知识对象的形式化与规范化（2013）
  6. Durand，Guillaume；Belacel，Nabil；LaPlante，François：基于图论的学习路径推荐模型（2013）ioport公司
  7. David，Catalin；Jucovschi，Constantin；Kohlhase，Andrea；Kohlhase，Michael：《语义联盟：语义联盟框架》（2012）
  8. Tankink，Carst；Geuvers，Herman；Mckinna，James:叙述正式证据（正在进行中的工作）（2012年）ioport公司
  9. Serge Autexier；David，Catalin；Dietrich，Dominik；Kohlhase，Michael；Zholudev，Vyacheslav：科学、技术、工程和数学变革管理工作流程（2011）
  10. Fest，Andreas：《添加智能评估：将动态数学软件组件集成到交互式学习活动中的Java框架》（2011）数学
  11. Heeren，Bastian；Jeuring，Johan：交织策略（2011）
  12. Lange，Christoph:Krextor——一个用于向数据网络贡献内容数学的可扩展框架（2011）
  13. Lange，Christoph:通过语义web集成实现半形式数学知识的协作（2011）
  14. 陈晓宇：电子几何教材：几何教材知识管理系统（2010）
  15. Cohen，A.M.；Cuypers，H.；Verrijzer，R.：交互式文档中的数学上下文（2010）
  16. Heeren，Bastian；Jeuring，Johan；Gerdes，Alex:为互动练习指定重写策略（2010）
  17. 埃里卡•梅利斯；阿恩特•福勒伯；艾哈迈德•萨利姆•杜斯特；卡尔斯顿•乌尔里奇：支持灵活的能力框架（2010年）ioport公司
  18. Geuvers，H.：证明助理：历史、想法和未来（2009）
  19. Giceva，Jana；Lange，Christoph；Rabe，Florian:将web服务集成到活动数学文档中（2009）
  20. Goguadze，George:基于web的练习的语义评估服务（2009）ioport公司