小伙子

使用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}免费访问。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH中的参考文献,第1条标准)

显示第1到第5个结果,共5个。
按年份排序(引用)

  1. Abánades,MiguelÁ;Botana,Francisco;Escribano,Jesús:游戏物理系统中连锁位点方程的自动生成(2014)数学
  2. 弗朗西斯科·纳达(Francisco Nada,Ab)轨迹自动推导(2014);自动几何学
  3. Semitoph Mathematic collaboration by Semitoph web,2011年版,语义整合
  4. Escribano,Jesús;Botana,Francisco;Abánades,Miguel A.:向动态几何系统添加远程计算能力(2010)ioport公司
  5. Abánades,Miguel A.;Escribano,Jesús;Botana,Francisco:使用OpenMath向标准动态几何系统添加证明能力的第一步(2007)