CEUR-WS.org/Vol-767 - ITP 2011 Workshop on Mathematical Wikis (MathWikis)
Vol-767
urn:nbn:de:0074-767-8
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.
MathWikis-2011
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
The On-Line Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years
(abstract; invited talk)
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