• 电子几何教材

  • 7篇参考文献[SW0875]
  • 电子几何教材几何教材知识 管理系统电子几何教材是知识 管理系统管理 几何教材知识启用用户…
  • OpenGeo

  • 2篇参考文献[SW12575 ]
  • 增强版几何 知识基地由陈、黄和王开发,其中…配备基于Web的接口和新的管理设施和开放和在线…知识基地由典型几何 知识对象,如定义、定理和证明。几个…已经开发出来支持用户管理这个知识OpenGeo中包含的对象。用户
  • 地理信息系统

  • 3篇参考文献[SW1256]
  • 管理知识处理可以是自动化的。结构化和形式化的支持知识基地有一个几何定理证明器(GEOTER)和动态图生成器(GEODRAW)集成,…
  • 车身三维

  • 3篇参考文献[SW1777]
  • 人类男性。它包括形态和几何的 知识在解剖和补充本体论表示。而且…人体解剖学系统,有利于管理生物医学研究中的样本和数据…
  • 树上植物

  • 0篇参考文献[SW1911]
  • 建立独立的工厂模型。ParaTree组合几何建模和参数化建模。形状特征…不要求用户拥有很多知识生物学的而事实正好相反…建模、生长模拟、辅助设计和资源管理植物学,生态学,应用植物科学(园艺)
  • 辅酶Q

  • 1740篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统IT
  • GCLC

  • 29篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化工具几何的
  • MATLAB

  • 11360篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • R

  • 7483篇参考文献[SW071]
  • R是一个统计的语言和环境。
  • 毫升

  • 498篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • Salm Talk

  • 163篇参考文献[SW01561 ]
  • SimultTalk是面向对象的、动态类型的、反射式的…