Для разработки автоматизированных систем конструирования правильных доказательств математических утверждений на основе математических знаний предложена модель математической практики, более адекватная, чем модели математической логики.

Проблемы управления [Текст] : Научно-технический журнал / Ин-т проблем управления им. В.А. Трапезникова; РАН // Проблемы управления - М. : ООО "СенСиДат". — М. : ООО "СенСиДат", 2006.

• УДК // Втілення, конструювання у техніці/Воплощение, конструирование в технике/Embodiment, designing in equipment
• УДК // Математична логіка
• УДК // Системи автоматичного керування в цілому. Кібернетичні характеристики систем