Position paper: A real semantic web for mathematics deserves a real semantics

P. Corbineau*, H. Geuvers, C. Kaliszyk, J. McKinna, F. Wiedijk

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

2 Citations (Scopus)


Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for formal mathematical logic. Semantic Web tools [2] support the first two of these, with little, if any, contribution to the third, while Proof Assistants [17] instrument the third layer, typically with bespoke approaches to the first two. Our position is that a web of mathematical documents, definitions and proofs should be given a fully-fledged semantics in terms of the third layer. We propose a "Math- Wiki" to harness Web 2.0 tools and techniques to the rich semantics furnished by contemporary Proof Assistants.

Original languageEnglish
Pages (from-to)62-66
Number of pages5
JournalCEUR Workshop Proceedings
Publication statusPublished - 24 Jun 2008
Event3rd Workshop on Semantic Wikis 2008 - Tenerife, Spain
Duration: 2 Jun 20082 Jun 2008

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Position paper: A real semantic web for mathematics deserves a real semantics'. Together they form a unique fingerprint.

Cite this