动态数学

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