Здравствуйте, подскажите какие существуют библиотеки для распознавания формул для Python? Гуглил самостоятельно, пока не нашел

Что значит распознование? С изображения? Если да, то врядли. Для обычного текста то нормальных нет (насколько я знаю) не то что для формул. Проще самому запилить, исходя из специфики распозноваемого объекта

Да нужно написать простенький распознаватель формул, крушитель матановых каптч с интегралом

Сделай сам. Маловероятно что вообще существует какая-нибудь библиотека для этого - общего не так много, а то что есть алгоритмически слишком сложно объединить в библиотеку, наверное. Считывай изображение попиксельно, задай какой-нибудь достаточный класс точности и сохраняй распознаваемый символ с каким нибудь уникальным идентификатором из его набора пикселей. Где такие капчи вообще водятся?

Ок ) буду писать сам, уже нашел статью на эту тему
http://www.foibg.com/ibs_isc/ibs-22/ibs-22-p10.pdf
В основном они живут теоретически ) , на http://habrahabr.ru и lurkmore. Их программируют и обсуждают но в реальной жизни они не применяются. .
Примеры матановой каптчи
http://lurkmore.to/Lurkmore:%D0%9C%D0%B0%D1%82%D0%B0%D0%BD%D0%BE%D0%B2%D0%B0%D1%8F_%D0%BA%D0%B0%D0%BF%D1%87%D0%B0
Вот решил для себя сделать распознаватель и решатель )
Что то на вроде такого:
http://webdemo.visionobjects.com/equation.html

интерес исключительно личный )