Mathematical Knowledge Management (MKM) is a new field of research which aims at archiving and organizing mathematical knowledge to support mathematicians. It's is less ambitious than automatic formalization (and therefore more realistic) in that it doesn't aim at converting all informal math into formal math or drastically change the way mathematicians work. There has been work in MKM that uses NLP techniques (Jeschke et al. 2007[1], Youssef 2017[2])

Main ref: Farmer (2006)[3], a more recent review: Carette and Farmer (2009)[4]

References Edit

  1. Jeschke, S., Wilke, M., Natho, N., & Pfeiffer, O. (2007, November). KEA-a Mathematical Knowledge Management System combining Web 2.0 with Semantic Web Technologies. In Innovations in Information Technology, 2007. IIT'07. 4th International Conference on (pp. 138-142). IEEE.
  2. Youssef, Abdou. "Part-of-math tagging and applications." In International Conference on Intelligent Computer Mathematics, pp. 356-374. Springer, Cham, 2017.
  3. Farmer, William M. "Mathematical knowledge management." Encyclopedia of Knowledge Management. IGI Global, 2006. 599-604.
  4. Carette, Jacques, and William M. Farmer. "A review of mathematical knowledge management." International Conference on Intelligent Computer Mathematics. Springer, Berlin, Heidelberg, 2009.
Community content is available under CC-BY-SA unless otherwise noted.