Математическая поисковая система Uniquation

[@v673]

Молодцы. Лично я уверен, что за подобными узконаправленными поисковыми системами, учитывающими специфику тематики, будущее. Только смотрите, чтобы Вы случайно не изобрели Wolfram Alpha.

[@BgD]

Ребята, вы — молодцы!
Смешная опечатка «Но мы наедимся» в разделе Open Source.
Получилось написать (sin(x))^2+(cos(x))^2 только с третьего раза, вот так: sin^2(x) + cos^2(x). Хотя по идее, вернее первый вариант.

[@andoriyu]

но на бумаге именно так и пишется же. sin^x(blabla), (sin(blabla))^2 это чисто компьютерная фича

[@BgD]

На бумаге — да. Но писать в компьютер не компьютерные, а бумажные фичи — это надо ещё привыкнуть: )

[@porqz]

Лучше сделать, чтоб можно было писать и так, и так. Тогда точно не будете ошибаться. ;)

[@BgD]

Точно. ВольфрамАльфа, к слову, понимает и так и сяк:
www.wolframalpha.com/input/?i=sin^2%28x%29%2Bcos^2%28x%29
(ссылка парсером битая, ну вы поняли)

[@Stepanow]

Зачем полагаться на парсер, если заранее видите, что получается битая?
www.wolframalpha.com/input/?i=sin^2%28x%29%2Bcos^2%28x%29

[@BgD]

Виноват, исправлюсь.
Похоже, у меня заработали html-тэги ))

[@KF_NEXUS]

Всё-таки на бумаге оно вообще пишется не так, а как в маткаде)
Одно дело понимать такую странную форму записи — другое чтобы она была единтсвенно верной.

[@andoriyu]

как это не так? именно так, ну не считая ^2… надо оба формата понимать, или только компьютерный вариант.

[@KF_NEXUS]

Я имевю ввиду что ручкой оно пишется в пространстве а не в строчку)

Из за таких вещей как sin^x(blabla) усложняется воспириятие, например как понять

sin^x(y+2)(blabla)

Тут (y+2) это степень или это уже блабла)

Вообще я когда есть возможность в тетради пишу (sin(blabla))^x :))) Программистская привычка)

[@shai_xylyd]

Спасибо, к следующему релизу пофиксим.

Когда начали работать ужаснулись, какой неоднозначный язык математики, и сколькими способами можно выразить один и тот же объект — прям как perl:)

[@shkolni4ek]

Не надо фиксить, у вас же правильно сделано)
Возможно, стоит показывать подсказку, если пользователь вводит формулу неправильно.

[@spyfzm]

Не-не-не! Мне будет очень неприятно, если мне скажут что я неправильно ввожу, и вводить надо именно так, и никак иначе. Мне нравится вводить и так и сяк. Надо быть дружелюбнее к пользователю, не смотря даже на возможную его неграмотность, чем поголовно страдают школьники, которым этот проект будет интересен.

[@KF_NEXUS]

На самом деле самый правильный и однозначный спооб — это ввод математичесскх выражений как при программировании. Да — лишнии скобки, но зато никакой неопределённости.

[@Steelz]

А с помощью Smath на кпк не посчитать?)

[@shai_xylyd]

Можно, и на кпк с Smath, и в Maple, и в Maxima, и MatLab, но это все разные подходы.

MatLab система численных вычислений и платформа для Simulink. Это промышленный инструмент, который в основном используется инженерами для расчетов.

Uniquation является системой символьных «вычислений», как Maxima и отчасти Maple, но использует другой подход: вместо того что бы совершенствовать алгоритмы вывода решений (сложная задача), мы улучшаем алгоритмы поиска (более простая задача) и используем internet (crowdsourcing) в качестве символьных вычислений. Потенциально такой подход позволит создать более лучшую систему при меньшем количестве усилий.

[@snch]

лучше бы она их решала =)

[@shai_xylyd]

Не факт, алгоритмы решения математических задач справляются не со всеми задачами. И придумать новый алгоритм решения сложнее, чем адаптировать алгоритм поиска. Согласен, что сейчас, пока нету большой базы знаний, uniquation вряд ли может быть сильно полезен, но уже сейчас можно оценить его потенциал.

С другой стороны, поиск решений вместо решения, помимо самого ответа предоставляет ссылку на материал, с помощью которого этот ответ может быть верифицирован. Это же правило используется и в википедии: «Wikipedia does not publish original research or original thought.»

[@flyfree]

отличный задум, посмотрим что будет дальше ))

[@4udik]

Действительно круто! Немного коробит, что сайт в зоне .ru не содержит ни слова по-русски на главной(

[@runnig]

расскажите пожалуйста про стохастические уравнения, никогда их не понимал…

[@shai_xylyd]

:) На простом уровне все просто — в обычном случае случае можно определить функцию через её приращение (например, df = f⁽¹⁾dx), в стохастическом случае в правой части будет еще случайная величина, следовательно и сама функция будет случайной.

[@runnig]

а когда мы решили уже стохастический дифур, что является решением, сама функция, очищенная от шума?

[@Lord_Daedra]

Ну очень понравилась ваша картинка «найдите х», нестандартное мышление всегда восхищает…

[@non7top]

вот тут забавнее
www.liveinternet.ru/users/1446649/post75417023/

[@mironov_anton]

Картинка и впрямь хороша, но идея принадлежит aaa advertising school.
У них в кампании 2007-го года была целая серия забавных принтов: http://www.adme.ru/prints/2007/12/04/21251/.

[@san4ez]

было б еще классно, если б можно было теоретический вопрос вводить и получать на него ответ с примером. например, «решение системы уравнений методом простых итераций» *мечты из области фантастики*

[@shai_xylyd]

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

[@mihey911]

анти-демидович?

[@shai_xylyd]

Да, мы об этом думаем:)

[@usja]

Жалко что не было такого сервиса когда я в школе и в институте учился :(

[@mihey911]

эх где же вы были в мои студенческие годы :) а вообще — молодцы.

[@AzriMan]

а в чем отличие от Wolfram Alpha?

[@shai_xylyd]

Есть два фундаментальных отличия, первое в том, что Wolfam|Alpha вычисляет, а (uni)quation ищет. Другое различие в том, что база знаний, на основе которой считает W|A закрыта, а у (uni) открыта, это Internet.

Остальное, включая различия в потенциальной аудитории, следует из этих двух различий.

[@denisnomad]

Главное, чтобы в будущем вы банально не стали парсить WolframAlpha. Или станете?

[@KF_NEXUS]

Вообще хорошо бы его пасить на самом деле. Но насколько это легально, с учётом того что по-хорошему они берут деньги за свой апи?

[@rudevich]

Все круто. Очень.
Вижу в .com тоже работает, и это правильно, только вот больше бы порядка с языками.

[@shai_xylyd]

Спасибо за отзыв. Немного подправил языки.

[@vvsh]

отличная система, если бы она появилась годика полтора назад было бы вообще супер.

p.s. на чем она написана?

[@shai_xylyd]

В тегах ответ.

[@vvsh]

nemerle — ?, вау, первый раз такой слышу.

[@Tolsi]

в закладки!

[@madm1ke]

Задача прикольная, но не факт, что нужная. На кафедре МаТИС мехмата МГУ пишут гораздо более веселую штуку — «решателя» математических задач. Вам бы с ними пообщаться — intsys.msu.ru/staff/

[@FTM]

Я правильно понимаю, что пока задачу кто-то не решил и не выложил в свободный доступ на ресурсы, с которыми вы работаете, никто не сможет получить ответ на свой вопрос, даже если он прост как дважды два? Думаю, простые задачки можно и средствами сервера/клиента решать, чтобы быть более уверенными в том, что конечный заинтересованный в ответе пользователь его все-таки получит.

[@shai_xylyd]

Это верно. И мы думаем об этом, одной из идеей является создание микроформата, который позволит описывать правила «если есть совпадение запроса с „x²=a“, где a — положительное чисто, то ответ x = ± sqrt(a)».

[@KF_NEXUS]

Хорошо-бы встроить символьную систему, которая будет скажем для выражения (a+b)^2 искать и так как задали, и раскрыв скобки сама искать с расскрытыми скобками. Это простой пример, но для более сложных выражений форма записи может затруднить поиск.

[@Longedok]

Сервис однозначно в закладки. Иногда бывает полезным найти решение какого-нибудь типичного уравнения, или там, способ сокращения многочлена. В гугле искать информацию такого рода не очень то и удобно — спасал только Вольфрам Альфа. Теперь вот будет дополнение к нему.

Очень понравилась идея графического редактора формул — правда попробовать сам редактор я не смог. Сначала браузер сказал мне, что достоверность цифровой подписи данного апплета проверить невозможно, а потом и вовсе завис (firefox 3.5.5; java plug-in 1.6.0_07). Сейчас вот даже грузиться отказывается.

[@GreenMan]

Сертификат поборем. Надо, чтобы это предупреждение вообще не появлялось, ибо апплет ничего криминального не делает.

Странно, что текущая версия вообще не загрузилась. У меня в опере, фф 3.5 и хроме работает.

[@KF_NEXUS]

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

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

Ну и ещё из области пожеланий — конечно хотелось-бы возможности поиска каких-то теорикогрупповых вещей в вашем поиске)

И да, думаю индексация форума мехамата и www.diary.ru/~eek/ была бы хорошей идеей, хотя так как информация там никак не структурирована наверное это будет пости невозможно. Но кто знает :)

[@shai_xylyd]

Спасибо за отзыв. Алгебра мне самому интересна:) Как вы думаете, обработку каких запросов, связанных с теорией групп, следует добавлять в первую очередь? Я сходу могу придумать только запросы вида «P[x]/(x²+1)», который может задать кто-нибудь, кто хочет найти информацию об этом конкретном поле.

[@KF_NEXUS]

Думаю запросы о фактор группах например Z/Zn были бы полезны, или например о каких то конкретных группах типа Sn или линейных пространствах типа М[2]n или ещё можно было-бы искат mrfrbt-то линейные операторы по их матрице (кстати оригинальная идея) или просто по виду оператора найти чтонибудь о его матрице или как он задаётся.

Хотя опять же тут самая большая пробелма — проблема терминологии, потому что даже в учебниках даётся зачастую раная терминология, не говоря уже о серьёзных публиациях где всякий считает что может обозначать что как надо, и форумах на которых многие и не знают как надо и объясняются чуть ли не на пальцах :)

Мне кажется тут должна быть проведена какая-то работа, по поиску разлчных обозначений одоного и того-же исоставлен справочник понятий, которые понимает поисковая система, вообще даже один такой справочник, в котором ещё-бы и отображалась релевантность понятий был бы просто великолепен.

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

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

[@shai_xylyd]

Добавил начальную поддержку абстрактной алгебры, несколько примеров есть на главной.

[@potan]

В Coq есть поиск по доказательствам. Например Search _ (?x + ?y = ?y + ?x). ищет доказательства коммутанивности сложения. Но он ищет только по установленным локально кокавским (а не Agda, Arend и тд ;-)) пакетам. Хорошо бы и выложенные на github доказательства индексировать...