[CEUR Workshop Proceedings] Vol-767

Copyright © 2011 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

Mathematical Wikis

Proceedings of the ITP 2011 Workshop on Mathematical Wikis

Nijmegen, Netherlands, August 27th, 2011.

Edited by

Christoph Lange, Jacobs University Bremen, Germany
Josef Urban, Radboud Universiteit, Nijmegen, Netherlands

Table of Contents

  1. The On-Line Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years (abstract; invited talk) 1
    Neil J. A. Sloane
  2. Metadata for a wiki of formalized mathematics 2-5
    Jesse Alama
  3. The PlanetMath Encyclopedia (invited paper) 6-12
    Joseph Corneli
  4. A Linear Algebra Wiki 13-18
    Michael Doob
  5. The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform 19-27
    Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch, Martin Memmel
  6. Wiki Authoring and Semantics of Mathematical Document Structure 28-37
    Hiraku Kuroda, Takao Namiki
  7. Ideas for a MathWiki Editor 38-44
    Sebastian Reichelt
  8. Dynamic Proof Pages 45-48
    Carst Tankink, James McKinna
  9. Content-based encoding of mathematical and code libraries 49-53
    Josef Urban
  10. ProofWiki 54-62
    Matt Westwood
  11. WorkingWiki: a MediaWiki-based platform for collaborative research 63-73
    Lee Worden

The whole proceedings can also be downloaded as a single file (PDF, including title pages, preface, and table of contents).

We offer BibTeX file for citing papers of this workshop from LaTeX.

Please see the workshop homepage for further details about the workshop

24-Aug-2011: submitted by Christoph Lange
24-Aug-2011: published on CEUR-WS.org