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

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

• УДК // Моделювання з використанням математичних моделей