Управление математическими знаниями - Mathematical knowledge management
 | Тема этой статьи может не соответствовать Википедии общее руководство по известности. (Апрель 2016 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
Управление математическими знаниями (MKM) это исследование того, как общество может эффективно использовать обширную и растущую литературу по математика. Он изучает такие подходы, как базы данных математических знаний, автоматизированной обработки формул и использования семантическая информация, и искусственный интеллект. Математика особенно подходит для систематического изучения автоматизированной обработки знаний из-за высокой степени взаимосвязи между различными областями математики.
Смотрите также
внешняя ссылка
- Группа интересов MKM
- 9-я Международная конференция по УПРАВЛЕНИЮ МАТЕМАТИЧЕСКИМИ ЗНАНИЯМИ (MKM 2010), часть 10-й Международной конференции по искусственному интеллекту и символьным вычислениям AISC 2010 Париж, Франция, 5-6 июля 2010 г.
- Конференция Big Proof , программа на Институт Исаака Ньютона направлена на решение проблем внедрения технологии доказательства в основную математическую практику.
 | Эта статья по математике заглушка. Вы можете помочь Википедии расширяя это. |