Uniquation — наукова пошукова система

Uniquation — це наукова пошукова система. Її завданням є аналіз усіх, що зустрічаються в Інтернеті формул, та здійснення швидкого пошуку по ним. Пошуковим запитом є будь-яка частина формули, а результатом пошуку — документи, що містять її в собі.

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

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

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

Джерела:

Ключові слова: , , .