Анисимов, А.В.; Джебелян, Т.; Лялецкий, А.В.; Попов, Н.
(Управляющие системы и машины, 2011)
Рассмотрены основные парадигмы обработки математических знаний и обозначено место среди них систем Theorema и автоматизация дедукции. Описаны сравнительный анализ систем, общие черты их построения и различие в методах ...