Uniquation, стартап, стартапыUniquation — это научная поисковая система. Её
задачей является анализ всех встречающихся в Интернете формул и
осуществление быстрого поиска по ним. Поисковым запросом является
любая часть формулы, а результатом поиска — документы,
содержащие её в себе.

На данной стадии поиск идет по формулам из wikipedia.org и eqworld. Важной особенностью
поисковой системы является то, что она ищет совпадения с
точностью до элементарных преобразований.

slide0

Например, документ, содержащий какую-либо формулу, может быть
найден по запросу, в котором используются иные переменные, чем в
самой формуле, или в котором другой порядок аргументов
коммутативных операций.

slide1

На данный момент поддерживаются простые арифметические
выражения
, некоторые функции (sin, cos, ln) неопределенные
интегралы, суммы и уравнения в частных производных. К сожалению
не полностью поддерживаются обыкновенные дифференциальные
уравнения, пределы и комбинаторика.