小伙子

使用OpenMath向标准动态几何系统添加证明功能的第一步介绍了一个web应用程序的原型，该原型设计用于在使用商业动态几何系统Cabri、几何画板和灰姑娘创建的几何图上象征性地处理轨迹、证明和发现任务。这个名为LAD（轨迹断言发现的缩写）的应用程序被认为是所考虑的DGS的远程附加组件，遵循Gr“obner-basis方法，依赖cococoa和Mathematica内核进行相关的符号计算。从几何图的DGS内部文本表示，使用plangeo OpenMath内容字典中的元素创建所请求任务的OpenMath（即基于语义）描述。对这些CDs所包含的元素进行了回顾，并提出了两个新的元素，即轨迹和发现。最后，一切都用例子来说明。LAD可以通过url{http://nash.sip.ucm.es/LAD/LAD.html}免费访问。