A real semantic web for mathematics deserves a real semantics

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)


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-edged 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
Title of host publicationProceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008, Tenerife, Spain, June 2, 2008; co-located with ESWC 2008)
EditorsC. Lange, S. Schaffert, H. Skaf-Molli, M. Völkel
Publication statusPublished - 2008

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073


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

Cite this