Пока писал диплом тоже размышлял о создании аналогичного генератора формул. Пришел к созданию собственного movie-генератора, т.е. когда даешь строку, описывающюю формулу, она разбирается, и из библиотеки соответствующие клипы собираются в формулу. Тут уж хоть интегралы/дроби можно рисовать. На php такие штуки есть, генерят картинки. Я реализовать не успел, да и так оказалось всем до лампочки на проделанную работу
.