Mathematical Ontology and a Software Tool for Semantic Retrieval of Exercise Problems | IEEE Conference Publication | IEEE Xplore