@comment{It is strongly recommended to use BibLaTeX for these entries}
@inproceedings{Sloane:MathWiki11,
  title = {The {On-Line} {Encyclopedia} of {Integer} {Sequences}: From Punched Cards to Wiki in 46 Years},
  author = {Neil J. A. Sloane},
  pages = {1},
  note = {Invited talk},
  url = {http://ceur-ws.org/Vol-767/paper-01.pdf},
  crossref =     {MathWiki11},}

@inproceedings{Alama:MathWiki11,
  title = {Metadata for a wiki of formalized mathematics},
  author = {Jesse Alama},
  pages = {2--5},
  url = {http://ceur-ws.org/Vol-767/paper-02.pdf},
  crossref = {MathWiki11},}
                  
@inproceedings{Corneli:MathWiki11,
  title = {The {PlanetMath} Encyclopedia},
  author = {Joseph Corneli},
  pages = {6--12},
  url = {http://ceur-ws.org/Vol-767/paper-03.pdf},
  crossref = {MathWiki11},}

@inproceedings{Doob:MathWiki11,
  title = {A Linear Algebra Wiki},
  author = {Michael Doob},
  pages = {13--18},
  url = {http://ceur-ws.org/Vol-767/paper-04.pdf},
  crossref = {MathWiki11},}

@inproceedings{GrundmannEtAl:MathWiki11,
  title = {The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform},
  author = {Thomas Grundmann and Jean-Marie Gaillourdet and Karsten Schmidt and Arnd Poetzsch-Heffter and Stefan De{\ss}loch and Martin Memmel},
  pages = {19--27},
  url = {http://ceur-ws.org/Vol-767/paper-05.pdf},
  crossref = {MathWiki11},}

@inproceedings{KurodaNamiki:MathWiki11,
  title = {Wiki Authoring and Semantics of Mathematical Document Structure},
  author = {Hiraku Kuroda and Takao Namiki},
  pages = {28--37},
  url = {http://ceur-ws.org/Vol-767/paper-06.pdf},
  crossref = {MathWiki11},}

@inproceedings{Reichelt:MathWiki11,
  title = {Ideas for a {MathWiki} Editor},
  author = {Sebastian Reichelt},
  pages = {38--44},
  url = {http://ceur-ws.org/Vol-767/paper-07.pdf},
  crossref = {MathWiki11},}

@inproceedings{TankinkMcKinna:MathWiki11,
  title = {Dynamic Proof Pages},
  author = {Carst Tankink and James McKinna},
  pages = {45--48},
  url = {http://ceur-ws.org/Vol-767/paper-08.pdf},
  crossref = {MathWiki11},}

@inproceedings{Urban:MathWiki11,
  title = {Content-based encoding of mathematical and code libraries},
  author = {Josef Urban},
  pages = {49--53},
  url = {http://ceur-ws.org/Vol-767/paper-09.pdf},
  crossref = {MathWiki11},}

@inproceedings{Westwood:MathWiki11,
  title = {{ProofWiki}},
  subtitle = {A Structured Approach to Mathematical Presentation},
  author = {Matt Westwood},
  pages = {54--62},
  url = {http://ceur-ws.org/Vol-767/paper-10.pdf},
  crossref = {MathWiki11},}

@inproceedings{Worden:MathWiki11,
  title = {{WorkingWiki}: a MediaWiki-based platform for collaborative research},
  author = {Lee Worden},
  pages = {63--73},
  url = {http://ceur-ws.org/Vol-767/paper-11.pdf},
  crossref = {MathWiki11},}

@proceedings{MathWiki11,
  booktitle = {ITP Workshop on Mathematical Wikis (MathWikis)},
  year = 2011,
  editor = {Christoph Lange and Josef Urban},
  number = 767,
  series = {CEUR Workshop Proceedings},
  address = {Aachen},
  issn = {1613-0073},
  url = {http://ceur-ws.org/Vol-767/},
  venue = {Nijmegen, Netherlands},
  eventdate = {2011-08-27},
  title = {Proceedings of the ITP 2011 Workshop on Mathematical Wikis (MathWikis)},
  pubs = {clange}}