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

ЛИТЕРАТУРА
1.	Клещёв А. С., “Концепция банка математических знаний для научных исследований. Ч. 1. Метафора”, Проблемы управления, 2008, № 4, 2–6
2.	Клещёв А. С., “Модель аналогии между математическими доказательствами”, Проблемы управления, 2007, № 1, 20–24