• 百万吨

  • 引用46篇文章[sw07136]
  • 编码许可证数学的 知识逻辑中立代表可以表示。。。元理论基础数学的和逻辑系统以及所代表的知识本身。。。
  • OMDoc公司

  • 引用86篇文章[sw07138]
  • 管理、分配和教学数学的 知识. 本文提出了一个扩展OMDOC。。。允许代表不同种类的语义和结构数学的文件,包括。。。
  • 工商管理硕士

  • 17条引用[sw08724]
  • 基于,分布式数学的 知识基地。这个系统是一个数学的MATHWEB中提供。。。通用形式化知识库数学正式的代表允许基于语义的分布式检索。。。对需要表示的数据进行分类数学的 知识并分析其结构。为了逻辑。。。拟定方法论代表形式主义数学的 知识基地。我们建议具体。。。
  • 质量管理

  • 引用19篇文章[sw07137]
  • 知识管理就是搜索:即使我们把注意力局限于数学... 基于代表语言,我们介绍数学的查询语言。。。查询和QMT查询可以跨越不同的数学的libraries.par我们已经实现。。。适用于任何图书馆数学的 知识. 我们的重点是图书馆。。。
  • 崔弟

  • 参考7篇文章[sw22090]
  • 做研究和工作知识 代表形式主义,如经典逻辑,条件逻辑。。。处理例如。数学的优化是对集合的补充。。。
  • 斯特拉姆

  • 1条引用[sw00918]
  • 知识 代表在智能计算机代数系统STRAMS中解决问题。文章讨论了。。。正在学院发展中数学索非亚大学信息学。功能设施。。。与建议相关的问题知识 代表形式主义,结构和内容。。。知识STRAMS的基础及其实现数学的解决问题和学习机制。。。
  • CW杰西

  • 在0篇文章中引用[sw19599]
  • 新兴范式知识 代表以及信息处理。它提供了一个数学的要表示的模型。。。语言,并对感性进行推理知识. 本文描述了一个初步的扩展。。。
  • WMI2型

  • 1条引用[sw21057]
  • 他们探索数学的概念,测试他们的数学的 知识帮助他们解决问题。。。
  • KAM公司

  • 1条引用[sw00480]
  • 代数系统数学索非亚大学信息学。主要特点。。。KAM和知识 代表工具转换规则、框架支持的形式。。。
  • MMTTeX公司

  • 引用2篇文章【sw31595】
  • 独立地。前者擅长沟通数学的 知识后者在证明其正确性时。。。内容导向的叙事与Mmt代表. 形式对象可以写。。。
  • 超光速

  • 1条引用[sw23313]
  • 与边关联的向量。这个有钱人代表是一个未经探测的数据。。。电影数据集,证明知识数学的形态学可以用于图像处理之外。。。
  • 通量模拟器

  • 引用2篇文章[sw25987]
  • 代谢网络中的分布。这个代表生化的知识在通量方面(转化率。。。文件夹。包自动派生数学的 代表形成的网络,并组装。。。
  • 曼波

  • 1条引用[sw07685]
  • 形成任意机构;多体数学的描述这个机构的一般运动。。。不同级别的知识计算机工具的深度整合陈述,以及活动元素。。。曼波允许学生检查数学的分析和可视化结果。。。
  • 男爵

  • 引用307篇文章[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 差距

  • 引用2735篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • GCLC公司

  • 引用了29篇文章[sw00326]
  • 我们提出了一个可视化几何图形的工具GCLC/WinGCLC。。。