abstract:Mathematical knowledge management (MKM) is the study of how society can effectively make use of the vast and growing literature on mathematics. It studies approaches such as databases of mathematical knowledge, automated processing of formulae and the use of semantic information, and artificial intelligence.
In this paper, ontology-basedmathematicalknowledgeacquisition from semi-structural mathematics textandmanagement for theknowledge acquired are discussed.