2019
Chapter
CEUR Workshop Proceedings
Germany, Aachen, RWTH Aachen University
Vol. 2426
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.
Представлена концепция программной оболочки для интерактивных систем верификации математических доказательств. Рассмотрены приближенная к математической практике конструирования доказательств формально-логическая система, которая может быть положена в основу такой оболочки, и механизмы её расширения. Описаны языки для представления баз формализованных математических знаний и способов рассуждений, а также общая синтаксическая структура доказательств.