Ontologies and languages for representing mathematical knowledge on the Semantic Web
Christoph Lange · Semantic Web · 2013
Mathematics is a ubiquitous foundation of science, technology, and engineering. Specific areas of mathematics, such as numeric and symbolic computation or logics, enjoy considerable software support. Working mathematicians have recently started to ad