Год: 2019

Тип публикации: Статьи / главы в тематических сборниках

Название издания: CEUR Workshop Proceedings (Proc. of the V International Conference on Information Technologies and High-Performance Computing (ITHPC-2019), Khabarovsk, Russia, September 16-19, 2019)

Страна, город, издательство: Germany, Aachen, RWTH Aachen University

Выходные данные: Vol. 2426

ISSN / ISBN: 1613-0073.

Библиографическое описание: Kleschev A.S., Moskalenko Ph.M., Timchenko V.A. A Concept of Software Shell for Interactive Mathematical Proof Verification Systems // CEUR Workshop Proceedings. 2019. Vol. 2426. Pp. 153-160. ISSN 1613-0073.

Аннотация: Представлена концепция программной оболочки для интерактивных систем верификации математических доказательств. Рассмотрены приближенная к математической практике конструирования доказательств формально-логическая система, которая может быть положена в основу такой оболочки, и механизмы её расширения. Описаны языки для представления баз формализованных математических знаний и способов рассуждений, а также общая синтаксическая структура доказательств.

Ссылки: