A real semantic web for mathematics deserves a real semantics

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (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.
Originele taal-2Engels
TitelProceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008, Tenerife, Spain, June 2, 2008; co-located with ESWC 2008)
RedacteurenC. Lange, S. Schaffert, H. Skaf-Molli, M. Völkel
StatusGepubliceerd - 2008

Publicatie series

NaamCEUR Workshop Proceedings
ISSN van geprinte versie1613-0073


Duik in de onderzoeksthema's van 'A real semantic web for mathematics deserves a real semantics'. Samen vormen ze een unieke vingerafdruk.

Citeer dit