Uniquation для поиска математической информации

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

Что такое Uniquation?

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

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

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

Поисковик -  Uniquation