не обязательно реализовывать распознавание формул, если сделать иной быстрый их ввод
Вот тут, боюсь, не решённая ещё проблема. Скорее, посимвольное распознавание по мере ввода. (Посимвольное распознавание уже работает для обычных языков, включая иероглифы, так что почему бы не добавить его и для математических символов.)
-- 01.02.2016 18:52:17 --Есть большая разница между текстом и формулами: OCR в тексте это общее место (в значительной мере благодаря ABBYY), а с формулами дело гораздо хуже и каждый год происходят встречи очень умных людей, но пока продвижения особого нет.
Я продолжаю думать, что это всё до тех пор, пока ABBYY не заинтересуется вопросом :-)
Кроме того, ну никто не мешает решать задачу human-assisted OCR, особенно для формул, набираемых по ходу дела - уж тот, кто пишет формулу, может легко подсказать машине, что именно он имеет в виду. Проблемней только задача-максимум, переконвертить тонны формул уже написанных, с недоступным автором, быстро и строго автоматически.
-- 01.02.2016 18:53:14 --Формулы получается набирать чуть ли не быстрее, чем от руки; с иллюстрациями не всегда так.
Вот это, увы, да. Графредактора хорошего, генерирующего код, не хватает.