Mathematical Wikis

Josef Urban, Radboud Universiteit, Nijmegen, Netherlands

- The On-Line Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years (abstract; invited talk) 1

Neil J. A. Sloane

- Metadata for a wiki of formalized mathematics 2-5

Jesse Alama

- The PlanetMath Encyclopedia (invited paper) 6-12

Joseph Corneli

- A Linear Algebra Wiki 13-18

Michael Doob

- 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

- Wiki Authoring and Semantics of Mathematical Document Structure 28-37

Hiraku Kuroda, Takao Namiki

- Ideas for a MathWiki Editor 38-44

Sebastian Reichelt

- Dynamic Proof Pages 45-48

Carst Tankink, James McKinna

- Content-based encoding of mathematical and code libraries 49-53

Josef Urban

- ProofWiki 54-62

Matt Westwood

- 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