OntoLexmath: An Ontology for Dealing with Mathematical Lexicon. - M. Angélica Pinninghoff Junemann; Angel Castillo C.; Pedro Salcedo Lagos; Ricardo Contreras Arriagada (IWINAC (2), 2017)