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

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

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