Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration

Christoph Lange 0002. Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration. Volume 11 of Studies on the Semantic Web, IOS Press, 2011. [doi]

Abstract

Abstract is missing.