Концепция банка математических знаний для научных исследований. Ч. 2. Интерактивное формирование интуитивных доказательств

Статья завершает цикл из двух статей, посвященных концепции системы компьютерной поддержки научной деятельности в области математики. Приведены модель интуитивного доказательства, требования к средствам поддержки исследователей и интеграторов знаний, а также к системным процессам.