动态数学

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


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公司