@inproceedings{6c5b4665fa424ffb9bdd5eac2139d1f9,

title = "A real semantic web for mathematics deserves a real semantics",

abstract = "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.",

author = "P. Corbineau and J.H. Geuvers and C. Kaliszyk and J. McKinna and F. Wiedijk",

year = "2008",

language = "English",

series = "CEUR Workshop Proceedings",

publisher = "CEUR-WS.org",

pages = "16--1/5",

editor = "C. Lange and S. Schaffert and H. Skaf-Molli and M. V{\"o}lkel",

booktitle = "Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008, Tenerife, Spain, June 2, 2008; co-located with ESWC 2008)",

}