Сотрудник Высшей школы ИТИС КФУ составит компанию мировым математикам

Научный сотрудник кафедры интелектуальных технологий поиска Высшей школы ИТИС КФУ Никита Жильцов приглашен к участию в научном семинаре Semantic Representation of Mathematical Knowledge, который пройдет с 3 по 5 февраля в Филдсовском институте Университета Торонто (Канада).

Семинар посвящен созданию нового языка для представления математических знаний и является частью глобального проекта мировой цифровой библиотеки математики World Digital Mathematics Library.

Мировая цифровая библиотека математики World Digital Mathematics Library (WDML) - амбициозный проект, поддержанный Alfred P. Sloan Foundation, Wolfram, Филдсовским институтом Университета Торонто, ставит целью создание языка, понятного как человеку, так и машине, для развития универсальной, расширяемой базы знаний для сохранения и распространения всей математической литературы, http://fields.utoronto.ca/programs/scientific/15-16/s.. 

Приглашены ведущие математики в области математической логики, дифферинциальных уравнений, теории алгоритмов, цифровой обработки сигналов. Среди гостей семинара Стивен Вольфрам (основатель Wolfram Research и создатель языка Mathematica), Юрий Матиясевич (автор решения 10й проблемы Гильберта), Вон Пратт (соавтор алгоритма Кнута-Морриса-Пратта), Ингрид Добеши (автор модели вейвлеты Добеши) и другие.

Целью поездки Никиты Жильцова является представление на семинаре видения казанской научной ИТ-группы на задачу представления математических знаний на основе онтологий и технологий Семантического Веба. В качестве задела Казанской группы будут представлены онтология математики (сайт OntoMathPro.org), платформа для анализа публикаций по математике и поисковик по формулам (cll.niimm.ksu.ru/mathsearch )