Управление математическими знаниями (MKM) - это исследование того, как общество может эффективно использовать обширную и растущую литературу по математике . Он изучает такие подходы, как базы данных математических знаний, автоматизированная обработка формул и использование семантической информации , а также искусственный интеллект . Математика особенно подходит для систематического изучения автоматизированной обработки знаний из-за высокой степени взаимосвязанности между различными областями математики.
Смотрите также
Внешние ссылки
- Хазевинкель, Михил (ноябрь 2003 г.). «Требуется управление математическими знаниями». arXiv : cs / 0410055 .
Мы даже не знаем, насколько мы знаем, что мы не знаем, что знаем
- www.nist.gov/mat Mathematical-knowledge-management , страница MKM NIST
- MKM Interest Group (из архива)
- 9-я Международная конференция по МКМ, Париж, Франция, 2010 г.
- Big Proof Conference , программа Института Исаака Ньютона, посвященная проблемам внедрения технологии доказательств в основную математическую практику.