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

Thomas Grundmann, Jean-Marie Gaillourdet, Karsten Schmidt, Arnd Poetzsch-Heffter, Stefan Deloch, Martin Memmel

Browse the full ITP paper archive.