К сожалению, на собственном опыте убедился, о простоте ручного ввода формул в диссертацию. Дня потраченного времени хватило за глаза
На эксперименты с Линукс у меня мужества не хватило, хотя ежедневно и администрирую FreeBSD. Сейчас поселил на компе MathType 5.1, пока хватает.
В принципе, есть возможность и FineReader надрессировать, но это также вопрос времени. Видел неофициальное мнение разработчиков вышеупомянутой программы о том, что дело хлопотное реализовывать распознавание формул и, кроме всего, маловостребованное
Видимо в широкой массе потребителей, ученые смотрятся совсем уж небольшой горсткой, если проще вместо формул добавить распознавание африканского языка Тумбо-Юмбо