• 蒙脱土

  • 39篇参考文献[SW07136]
  • 编码许可数学的 知识逻辑中立表现可以表示的格式…元理论基础数学的逻辑系统与代表知识本身…
  • OMDOC

  • 78篇参考文献[SW07138]
  • 管理、分配与教学数学的 知识. 在本文中,我们提出了一个扩展OMDOC…允许表现各种语义学的语义和结构数学的文件,包括…
  • 姆巴斯

  • 17篇参考文献[SW0824]
  • 基于分布式数学的 知识基地这个系统是数学的在提供服务的MathWeb中…形式化的通用知识库数学哪里正式表现允许基于语义的分布式检索。分类代表必要的数据数学的 知识并对其结构进行了分析。为了逻辑…提出发展的方法论表现形式主义数学的 知识基地。我们建议具体…
  • QMT

  • 18篇参考文献[SW07137]
  • 知识管理就是搜索:即使我们把注意力限制在微小的片段上。数学基于泛型表现语言MMT,我们介绍数学的查询语言…查询和QMT查询可以跨越不同的数学的我们已经实施了…易于应用于任何图书馆数学的 知识. 我们在这里关注的是图书馆…
  • 崔弟

  • 7篇参考文献[SW22090]
  • 做不同的研究和工作知识 表现形式主义,如经典逻辑,条件逻辑…处理例如的实用库数学的优化补充馆藏…
  • 斯特拉姆

  • 1篇参考文献[SW0918]
  • 知识 表现智能计算机代数系统中的问题求解。本文讨论了…正在发展中的师资队伍数学索非亚大学信息学系。功能设施…与建议有关的问题知识 表现形式主义、结构和内容…知识STRAMS的基础与实现数学的问题解决和学习机制…
  • CWJess

  • 0篇参考文献[SW19599 ]
  • 新兴范式知识 表现以及信息处理。它提供了一个数学的模型表示…语言,并在感性上进行推理知识. 本文介绍了一个初步的扩展…
  • WMI2

  • 1篇参考文献[SW21057 ]
  • 他们探索数学的概念,测试其数学的 知识并帮助他们解决问题…
  • 1篇参考文献[SW0480]
  • 代数系统开发的师资力量数学索非亚大学信息学系。主要特点…KAM的体系结构与知识 表现形式主义支持的工具转换规则,框架…
  • 超棚

  • 1篇参考文献[SW23 313]
  • 与边缘相关的向量。这个有钱人表现是未探索和导致数据…电影数据集,证明知识数学的形态学可以用于图像处理之外。
  • 磁通模拟器

  • 2篇参考文献[SW2598]
  • 代谢网络中的分布。这个表现生化的知识在通量(转化率)方面…文件包自动导出数学的 表现制定的网络,并组装…
  • 曼波舞

  • 1篇参考文献[ SW07685 ]
  • 任意多体机构数学的这个机制的一般运动的描述…不同层次知识计算机工具的深度合并表示和有源元件…曼波让学生检查数学的分析和可视化结果
  • 可可

  • 583篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

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

  • 2535篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • GCLC

  • 28篇参考文献[SW0326]
  • 我们提出了GCLC/WIGCLC——一种可视化几何图形的工具。
  • 格菲

  • 122篇参考文献[SW034 4]
  • GFALSE软件包提供了确定和…的工具。