ORACLE Text позволяет эффективно выполнять запросы по слабоструктурированным данным. Так, например, формулу можно перекодировать в текстовое представление, затем из этого текста выделить лексемы и построить по ним индекс. После этого легко написать запрос, который найдёт все формулы, которые включают слово sin или т.п.. Для поиска в обычных текстах как правило достаточно найти записи, которые просто содержат искомые лексемы (слова) в любом порядке. Для формул этот подход вряд ли пригоден, поскольку слов в математике (названий функций, операторов и т.п.) гораздо меньше чем в естественном языке. Скорее всего потребуется как то кодировать взаимосвязи лексем, чтобы в поиске можно было отличать sin(x) от x*sin..., но не различать sin(x) и sin(y) в разных формулах, причём x и y в свою очередь могут быть выражениями. Напрашивается хранение формул в виде дерева синтаксического разбора, однако интегрировать этот подход с LATEX ом будет не очень просто. Кроме того метод вряд ли является чем то новым, поскольку на рынке существуе ряд математических программ, которые успешно находят известные формулы и применяют их для вывода новых формул.

Программист-Любитель SLAVEЕсть известные примеры? ;)
Достаточно много хорошо известных программ.

Спросите любого студента математика и он вам назовёт несколько изделий и даже опишет основные преимущества и недостатки каждого.