Системы Theorema и автоматизация дедукции: сравнительный анализ

• Опубліковано в: : Управляющие системы и машины
• Дата: 2011
• Автори: Анисимов, А.В., Джебелян, Т., Лялецкий, А.В., Попов, Н.
• Формат: Стаття
• Мова: Russian
• Опубліковано: Міжнародний науково-навчальний центр інформаційних технологій і систем НАН та МОН України 2011
• Теми: Организационные и методические аспекты обеспечения непрерывного образования
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/82950
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Системы Theorema и автоматизация дедукции: сравнительный анализ / А.В. Анисимов, Т. Джебелян, А.В. Лялецкий. Н. Попов // Управляющие системы и машины. — 2011. — № 4. — С. 59-63, 77. — Бібліогр.: 20 назв. — рос.

Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах обработки данных. Basic paradigms of the mathematical knowledge processing are con...