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