卢奇 swMATH ID: 7187 软件作者： 内森·卡特；肯尼思·蒙克斯 描述： 学习：数学证明教学和写作软件。如果你的文字处理器能检查你的拼写和语法，难道数学文字处理器不能检查你的计算和推理吗？虽然这是一个艰巨的任务，但这是Lurch项目的目标(http://lurch.sourceforge.net)，一款正在开发中的新数学软件。开发人员将分享他们对该软件的目标，以及他们如何在他们的高等数学课程中使用该软件来向学生介绍校对。我们将讨论在教学校对时使用软件的好处和挑战，以及当前版本的Lurch在多大程度上满足了这些挑战。演讲还将讨论个别讲师如何根据教科书和课程的需要定制Lurch。 主页： http://lurch.sourceforge.net/ 关键词： 数学文字处理器 相关软件： DLMF公司;HOL灯;精益;咖啡脚本;微型微型计算机;jsf格式;github;数学测验;降价;网络学习;识字咖啡脚本;莱克斯;CalcCheck（计算检查）;阿格达;数学jax;伊莎贝尔/PIDE;MMT公司;jQuery（jQuery）;Coq公司 引用于： 1文件 2位作者引用 1 内森·卡特（Nathan C.Carter）。 1 肯尼思·G·蒙克斯。 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文