Что такое Uniquation?

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

Особенность системы

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