Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Christoph Lange 0002, Josef Urban, editors, Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011. Volume 767 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]

Conference: itp2011

Abstract is missing.

The On-Line Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years (abstract; invited talk)Neil J. A. Sloane. 1 [doi]

Metadata for a wiki of formalized mathematicsJesse Alama. 2-5 [doi]

The PlanetMath EncyclopediaJoseph Corneli. 6-12 [doi]

A Linear Algebra WikiMichael Doob. 13-18 [doi]

The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive PlatformThomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt 0002, Arnd Poetzsch-Heffter, Stefan Deßloch, Martin Memmel. 19-27 [doi]

Wiki Authoring and Semantics of Mathematical Document StructureHiraku Kuroda, Takao Namiki. 28-37 [doi]

Ideas for a MathWiki EditorSebastian Reichelt. 38-44 [doi]

Dynamic Proof PagesCarst Tankink, James McKinna. 45-48 [doi]

Content-based encoding of mathematical and code librariesJosef Urban. 49-53 [doi]

ProofWikiMatt Westwood. 54-62 [doi]

WorkingWiki: a MediaWiki-based platform for collaborative researchLee Worden. 63-73 [doi]

runs on WebDSL