Sciweavers

MKM
2009
Springer
14 years 6 months ago
Unifying Math Ontologies: A Tale of Two Standards
Abstract. One of the fundamental and seemingly simple aims of mathematical knowledge management (MKM) is to develop and standardize formats that allow to “represent the meaning o...
James H. Davenport, Michael Kohlhase