马瑟特

MATHPERT的逻辑与计算:学习数学的专家系统。MathPt(如《数学专家》)是一个专门设计的数学系统,它支持代数、三角和第一学期微积分的学习。本文概述了MATHPERT的设计,并详细讨论了它与自动定理证明的一些联系。这些连接出现在逻辑和计算之间的边界,当计算“算子”具有逻辑侧条件时,它们必须在满足它们之前必须满足。本文还解释了MathPrt如何维护并使用其用户的内部模型来生成单独定制的解释,以及如何通过将用户错误与其自身的内部解决方案进行比较来动态生成个性化和有益的错误消息。


ZBMaX中的参考文献(18篇)1标准条款

显示结果1至18的18。
按年份排序(引文

  1. Carette,贾可;农民William M.:走向符号计算(2019)
  2. 桑温,Christopher J.;K·谢尔,纳丁:数学考试自动化(2016)马修德
  3. 恶作剧:RIN:代数变换求解经济的工具(2014)
  4. HeelEN,BasTiaAn;Juffy,Johan:交错策略(2011)
  5. StuteMyle,David R.:良好默认表达式简化的十条命令(2011)
  6. Drijvers、保罗:代数教育的数字工具:标准与评价(2010)马修德
  7. HeeleN,BasTiaAn;Juffy,Johan;Gerdes,亚历克斯:指定交互式练习的重写策略(2010)
  8. HeeleN,BasTiaa:Juffy,Johan:互动练习助手的规范形式(2009)
  9. Trgalova,Jana;布希诺,丹尼斯;Nicaud,让弗兰弗兰-奥斯:从综合的角度分析算术和代数的交互学习环境(2009)马修德
  10. Cantone,多梅尼科;CICCOTTI,詹卢卡;Galo,乔凡尼:真实分析片段的决策算法。I:具有严格凸性和凹性谓词的连续函数(2006)
  11. Beeson,米迦勒;Wiedijk,Frik:无穷大在微积分和计算机代数系统中的意义(2005)
  12. Zimmer,J·RGEN;梅利斯,埃莉卡:证明计划的约束求解(2004)
  13. Beeson,米迦勒;Wiedijk,Frik:无穷大在微积分和计算机代数系统中的意义(2002)
  14. Beeson,米迦勒:(e)(2001)的非理性的自动推导
  15. Windsteiger,沃尔夫冈:理论中的集合论证明者(2001)
  16. Beeson,米迦勒:使用非标准分析来确保符号计算的正确性(1995)
  17. Beeson,Michael J.:MATHPERT的逻辑与计算:学习数学的专家系统(1989)
  18. Beeson,M. J.(圣若泽州立大学,CA)(美国)。数学与计算机科学系:MATHPERT的用户模型:学习数学的专家系统。这是一个很好的例子。EIN专家系统Fuer-Das Mathematiklernen。(1989)马修德