MathWikis@ITP

Keyphrases

Publications

2011

Hiraku Kuroda, Takao Namiki
Wiki Authoring and Semantics of Mathematical Document Structure. MathWikis@ITP (2011)
Joseph Corneli
The PlanetMath Encyclopedia. MathWikis@ITP (2011)
Jesse Alama
Metadata for a wiki of formalized mathematics. MathWikis@ITP (2011)
Neil J. A. Sloane
The On-Line Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years (abstract; invited talk). MathWikis@ITP (2011)
Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deßloch, Martin Memmel
The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform. MathWikis@ITP (2011)
Lee Worden
WorkingWiki: a MediaWiki-based platform for collaborative research. MathWikis@ITP (2011)
Josef Urban
Content-based encoding of mathematical and code libraries. MathWikis@ITP (2011)
Sebastian Reichelt
Ideas for a MathWiki Editor. MathWikis@ITP (2011)
Michael Doob
A Linear Algebra Wiki. MathWikis@ITP (2011)
Carst Tankink, James McKinna
Dynamic Proof Pages. MathWikis@ITP (2011)
Matt Westwood
ProofWiki. MathWikis@ITP (2011)

volume 767, 2011

Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011 MathWikis@ITP 767 (2011)