小伙子

使用OpenMaX为标准动态几何系统增加证明能力的第一步是一个Web应用程序的原型，设计为用商业动态几何系统CABRI、几何画板和灰姑娘创建的几何图来象征性地处理轨迹、证明和发现任务。应用程序，命名为LAD（轨迹断言发现的缩写）和作为对所考虑的DGS的远程附加的想法，遵循依赖于COA的Gr“OBNER基方法”和所涉及的符号计算的Mathematica内核。从几何图形的DGS内部文本表示，使用Pangeo OpenMeXML内容字典中的元素创建OpenMaX（即基于语义的）对所请求的任务的描述。回顾了这些CDS中包含的元素，并提出了两个新的元素，即轨迹和发现。最后用例子来说明一切。LAD可以在URL处自由访问。HTTP//NASH.SIP.U.M.ES/LAD/LAD.HTML}。