Аннотация:Человечество за свое существование успело накопить огромное количество научных знаний. Уже достаточно давно научные знания в большинстве своем изначально записываются как электронные документы. Более того, уже сейчас эти документы совсем не обязаны покидать пределы своего электронного существования: весь жизненный цикл научных статей от авторского черновика и до рецензируемой публикации, от научной сенсации и до строчки в архиве – целиком укладывается в рамки исключительно электронного представления информации. Это дает огромные возможности касательно поиска нужной информации в стремительно увеличивающейся массе накопленных знаний. Но научные тексты содержат большое количество элементов, плохо подходящих для обычного текстового поиска: графики, таблицы, изображения и формулы. В данной работе речь пойдет о средствах для создания электронной библиотеки с возможностью поиска по формулам, когда поисковый запрос будет являться некой формулой опционально с сопроводительным текстом, а ожидаемый результат - это список документов библиотеки, где встречаются такая формула или подобные ей. В работе предложены методы поиска, позволяющие находить формулы, имеющие различный вид, но при этом тождественные.