The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform

@inproceedings{pub5637,
    author = {

Grundmann, Thomas
 and 

Gaillourdet, Jean-Marie
 and 

Schmidt, Karsten
 and 

Poetzsch-Heffter, Arnd
 and 

Deßloch, Stefan
 and 

Memmel, Martin
},
    editor = {

Lange, Christoph
 and 

Urban, Josef
},
    title = {The Web of Mathematical Models: A Schema-based, Wiki-like, Interactive Platform},
    booktitle = {Proceedings of the ITP 2011 Workshop on Mathematical Wikis (MathWikis 2011). International Conference on Interactive Theorem Proving (ITP-2011), August 22-25, Nijmegen, Netherlands},
    series = {CEUR Workshop Proceedings},
    year = {2011},
    month = {8},
    volume = {767},
    pages = {19--27},
    publisher = {CEUR-WS.org}
}