期刊论文详细信息
Journal of Formalized Reasoning
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
Florian Rabe2  Michael Kohlhase1 
[1] Computer Science Jacobs University Bremen;Computer ScienceJacobs University Bremen
关键词: QED;    library integration;    mathematical knoweldge management;   
DOI  :  
学科分类:计算机科学(综合)
来源: Universita degli Studi di Bologna
PDF
【 摘 要 】

Proposed in 1994, the ``QED project'' was one of the seminally influential initiatives in automated reasoning: It envisioned the formalization of ``all of mathematics'' and the assembly of these formalizations in a single coherent database. Even though it never led to the concrete system, communal resource, or even joint research envisioned in the QED manifesto, the idea lives on and shapes the research agendas of a significant part of the communityThis paper surveys a decade of work on representation languages and knowledge management tools for mathematical knowledge conducted in the KWARC research group at Jacobs University Bremen. It assembles the various research strands into a coherent agenda for realizing the QED dream with modern insights and technologies.

【 授权许可】

Unknown   

【 预 览 】
附件列表
Files Size Format View
RO201911300447809ZK.pdf 769KB PDF download
  文献评价指标  
  下载次数:11次 浏览次数:12次