Browse by Author/Editor

Tankink, Carst and Lange, Christoph and Urban, Josef (2012) Point-and-write — documenting formal mathematics by reference. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 169-185.

Lange, Christoph and Ion, Patrick and Dimou, Anastasia and Bratsas, Charalampos and Corneli, Joseph and Sperber, Wolfram and Kohlhase, Michael and Antoniou, Ioannis (2012) Reimplementing the Mathematics subject Classification (MSC) as a Linked Open Dataset. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 458-462.

Lange, Christoph and Kutz, Oliver and Mossakowski, Till and Grüninger, Michael (2012) The distributed ontology language (DOL): ontology integration and interoperability applied to mathematical formalization. In: Intelligent Computer Mathematics. LNAI (7362). Springer Verlag, pp. 463-467.