• 大地测量学

  • 24篇参考文献[SW06216]
  • 基于探索的框架几何的 知识它集成了动态几何软件(DGS)、自动定理证明器…知识库几何的结构、图形和证明。GeoThms用户可以很容易地使用/浏览现有的…
  • 电子几何教材

  • 7篇参考文献[SW0875]
  • 电子几何教材几何教材知识管理系统。电子几何教材知识管理系统几何教材知识使用户能够动态地构建和共享…自动发现之间的关系知识数据为用户开发了一个界面。每个结果教科书。通过整合外部几何定理证明器和外部动态几何…
  • 斯特林真空

  • 41篇参考文献[SW0920]
  • 几何方法,如在自由计算机代数系统中实现的单数,但不需要知识
  • 地理信息系统

  • 3篇参考文献[SW1256]
  • 结构化与形式化知识基地,有几何定理证明器(GEOTER)和动态图…教材内容,发现关系几何 知识数据,证明几何定理和生成动态图…
  • ARGO

  • 4篇参考文献[SW1542]
  • 基于识别和系统化几何 知识一个特定的、受限的搜索和处理冗余…
  • OpenGeo

  • 2篇参考文献[SW12575 ]
  • Opengeo:一个开放的几何 知识基地OpenGeo是一个增强版本的几何 知识知识基地由典型几何 知识对象,如定义、定理和证明。几个…
  • 车身三维

  • 3篇参考文献[SW1777]
  • 人类男性。它包括形态和几何的 知识在解剖和补充本体论表示。而且…
  • 利本

  • 33篇参考文献[SW14520]
  • 相关(离散解)的再现几何连续向量场的性质。这本书…问题,特别是哈密顿系统。仅假设基本知识数值求积法和龙格库塔法…
  • WGL

  • 1篇参考文献[SW31398]
  • 断言学生的水平几何 知识把教学策略调整到每个学生身上……定义自己的工作空间,共享几何二者之间的建构。从案例研究已经…
  • 盖亚

  • 4篇参考文献[SW0322]
  • 用近似代数方法“组合”知识从计算机辅助几何设计(CAGD)和经典代数…
  • Cabri三维

  • 21篇参考文献[SW06997 ]
  • 数学定理的建模与选择知识在本文中的ICT环境中,我们提出…化学,模拟金字塔的体积,几何代数表达式和二次函数的意义…
  • GVNN

  • 1篇参考文献[SW31211]
  • 数据的参数变换几何计算机视觉。这些层可以插入…涉及任意域的网络知识进入几何计算机视觉。这在学习中打开了应用。
  • 卡米瓦伊

  • 12篇参考文献[SW01954]
  • 用户界面使用户无需任何知识无论是数学还是计算机科学…编程方法是新的。KamiWaAi工具几何像点、线、圆、球等物体直接…
  • SDLS

  • 7篇参考文献[SW0488]
  • 求解近似凸二次最小二乘问题。几何学地这些问题相当于寻找投影…一般二次曲线最小二乘法。直到我们知识在释放时没有这样的免费软件存在…
  • 伦特泡沫

  • 4篇参考文献[SW26605]
  • 处理任意域的流域几何的复杂性。局部动态自适应网格细化(AMR)使…我们首先向我们展示工作知识混合水平集/前跟踪DNS方法…
  • FSMT

  • 1篇参考文献[SW0160]
  • 简单地将制造信息附加到现有的几何模型,FSMT中的特征定义…几何学总是与知识应用它。这个知识代表理论…
  • 符号2000

  • 3篇参考文献[SW1082]
  • 模型建模者往往缺乏知识在所有能量域和器件中…元素,查找表,非线性几何的关系等当这些胶囊被纳入…
  • 哈瓦那

  • 3篇参考文献[SW16436]
  • 油藏工程师做储层建模。全地球-知识必须建成水库模型…仿真网格及其研究几何断层的不确定性。工作开始了…
  • 算法966

  • 2篇参考文献[SW20706]
  • 已知NP难的精确算法几何问题加剧了。许多这样的解决方案…已知的。尽我们最大的努力知识尽管进行了广泛的研究…
  • 树上植物

  • 0篇参考文献[SW1911]
  • 建立独立的工厂模型。ParaTree组合几何建模和参数化建模。形状特征…不要求用户拥有很多知识生物学的而事实正好相反…