小伙子

使用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}。

本软件关键词

这里的任何东西都将在支持画布元素的浏览器上被替换。


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

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

  1. 米格尔,Botana,弗朗西斯科,Escribano,JES S:游戏物理系统中链接轨迹方程的自动生成(2014)马修德
  2. 弗朗西斯科,AbnnADes,Miguel A.:(动态)几何中的自动演绎:轨迹计算(2014)
  3. 兰格,克里斯托夫:通过语义Web集成实现半正式数学知识的协作(2011)
  4. Botana,弗朗西斯科;AbnnADes,Miguel A.:向动态几何系统增加远程计算能力(2010)伊波尔特
  5. AbnnEdes,Miguel A.;EsSbBuno,Jes s;Botana,弗朗西斯科:使用OpenMaX为标准动态几何系统增加证明能力的第一步(2007)