1. Программный продукт MATHSEM будет использоваться для обучения студентов дискретной математике. Функционал программы позволяет строить  понятия, аксиомы и теоремы из теории множеств, теории функций и отношений, теории графов, геометрии.
2. Будет возможность изучать формальные методы доказательств теорем (метод резолюций, метод аналитических таблиц, метод основанный на знании атомарной структуру теоремы). Можно строить семантические сети понятий и теорем теорий, просмотреть деревья доказательств.
3. Можно изучать связь формальных методов доказательств и естественных. Возможно наладить взаимодействие с известными программами по автоматическому доказательству теорем и системами компьютерной алгебры. Можно осуществить экспорт/импорт данных из программы MATHSEM в другие известные программы.
4. В программе MАTHSEM  можно строить различные алгоритмы и эвристики для построения определений, теорем. Можно использовать различные эвристики для доказательства теорем. Предполагается создать удобный интерфейс для работы с программой, систему справки и обучающие видео.
5. Программу нужно продавать российским и зарубежным университетам, компаниям и частным лицам.

На страницу проекта