Работа посвящена проблеме поиска нот музыкальных произведений, записанных в формате MusicXML. Данный формат является одним из самых распространенных и поддерживается многими программами – нотными редакторами. В большинстве современных поисковых систем имеется возможность искать ноты по названию и автору композиции. В данной работе предлагается подход к решению задачи поиска произведений по нотной записи фрагмента мелодии. Для поиска использованы волновые правила, традиционно применяемые в методах автоматизированного доказательства теорем.

поиск нотных записей, методы автоматических рассуждений, волновые правила

Программирование, параллельные вычисления, мультимедиа