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