Должен обязательно присутствовать модуль распознавания, выберите на базе какой технологии – экспертной системы или нейронной сети. Фронтенд часть должна обеспечивать гибкий интерфейс, модуль загрузки/выгрузки файлов, модуль конвертации между разными форматами формул.