• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Semantic web collaborative spaces >Wikis and Collaborative Systems for Large Formal Mathematics
【24h】

Wikis and Collaborative Systems for Large Formal Mathematics

机译：Wiki和大型正式数学协作系统

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In the recent years, there have been significant advances in formalization of mathematics, involving a number of large-scale formal-ization projects. This naturally poses a number of interesting problems concerning how should humans and machines collaborate on such deeply semantic and computer-assisted projects. In this paper we provide an overview of the wikis and web-based systems for such collaboration involving humans and also AI systems over the large corpora of fully formal mathematical knowledge.
机译：近年来，数学形式化方面取得了重大进展，涉及许多大型形式化项目。自然地，这引发了许多有趣的问题，涉及人与机器如何在如此深层的语义和计算机辅助项目中进行协作。在本文中，我们概述了基于Wiki和基于Web的系统进行的这种协作，涉及人类以及AI系统以及大量完全形式化数学知识的AI系统。

著录项

  • 来源
  • 会议地点 Montpellier(FR);Trentino(IT)
  • 作者

    Cezary Kaliszyk; Josef Urban;

  • 作者单位

    University of Innsbruck, Innsbruck, Austria;

    Czech Technical University in Prague, Prague, Czech Republic;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号