(uni)quation — математична пошукова система

Пошукова система uniquation.ru призначена для аналізу математичних формул, які розміщено в Інтернеті  і здійснення швидкого пошуку . Пошуковим запитом є будь-яка частина формули, а результатом пошуку - документи, що містять її.
Особливість пошукової системи - шукає збіги з точністю до елементарних перетворень. Наприклад, документ, що містить формулу, може бути знайдений за запитом, в якому використовуються інші змінні, ніж у самій формулі, або інший порядок аргументів комутативних операцій.
Унікальність системи полягає в тому, що вона є пошуковою системою, яка дозволяє шукати за математичними формулами, у той час як інші подібні системи використовують інші підходи до вирішення тих самих задач.
Для пошуку інформації про математичні об'єкти необхідно ввести формулу в TeX форматі. На сайті розміщено інтерактивний навчальний курс щодо основ роботи в TeX.

За матеріалами catalogr.ru

No Response to "(uni)quation — математична пошукова система"

Дописати коментар