default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathWikis@ITP 2011: Nijmegen, The Netherlands
- Christoph Lange, Josef Urban:
Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011. CEUR Workshop Proceedings 767, CEUR-WS.org 2011 - Neil J. A. Sloane:
The On-Line Encyclopedia of Integer Sequences: From Punched Cards to Wiki in 46 Years (abstract; invited talk). 1 - Jesse Alama:
Metadata for a wiki of formalized mathematics. 2-5 - Joseph Corneli:
The PlanetMath Encyclopedia. 6-12 - Michael Doob:
A Linear Algebra Wiki. 13-18 - 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. 19-27 - Hiraku Kuroda, Takao Namiki:
Wiki Authoring and Semantics of Mathematical Document Structure. 28-37 - Sebastian Reichelt:
Ideas for a MathWiki Editor. 38-44 - Carst Tankink, James McKinna:
Dynamic Proof Pages. 45-48 - Josef Urban:
Content-based encoding of mathematical and code libraries. 49-53 - Matt Westwood:
ProofWiki. 54-62 - Lee Worden:
WorkingWiki: a MediaWiki-based platform for collaborative research. 63-73
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
