 |
|
|
|
|
|
Язык smm – упрощенный metamath Д. Ю. Власовab a Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия b Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия Аннотация: Описывается синтаксис и семантика языка smm – компьютерного языка формальной математики, предназначенного для представления современной математики на формальном уровне и надежной проверки, который является упрощенной версией языка формальной математики metamath. Ключевые слова: формальная математика, представление математического знания, автоматическая проверка доказательств.  Полный текст:
PDF файл (270 kB)
Список литературы:
PDF файл
HTML файл
Тип публикации: Статья УДК: 510.23+811.93 Поступила в редакцию: 26.03.2010 Образец цитирования: Д. Ю. Власов, “Язык smm – упрощенный metamath”, Вестн. НГУ. Сер. матем., мех., информ., 12:2 (2012), 
Цитирование в формате AMSBIB
\RBibitem{Vla12}Образцы ссылок на эту страницу:
Citing articles on Google Scholar: Russian citations, English citations Related articles on Google Scholar: Russian articles, English articles |
|
||||||||||||||||||||||||||||||||||||||||||
|
|
Обратная связь: |
 Пользовательское соглашение
|
Регистрация |
Логотипы |
|