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

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