## 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-fledged semantics in terms of the third layer. We propose a “MathWiki”

to harness Web 2.0 tools and techniques to the rich semantics furnished by contemporary Proof Assistants.

to harness Web 2.0 tools and techniques to the rich semantics furnished by contemporary Proof Assistants.

Original language | English |
---|---|

Title of host publication | Proceedings of the 3rd Semantic Wiki Workshop (SemWiki 2008) at the 5th European Semantic Web Conference (ESWC 2008), Tenerife, Spain, June 2nd, 2008 |

Number of pages | 5 |

Publication status | Published - 2008 |