Хабр Курсы для всех
РЕКЛАМА
Большая витрина: от крупнейших школ до частных авторов. Сравнивайте по цене, длительности, формату и выбирайте самый подходящий курс!
Хабр доступен 24/7 благодаря поддержке друзей
Комментарии 56
Молодцы. Лично я уверен, что за подобными узконаправленными поисковыми системами, учитывающими специфику тематики, будущее. Только смотрите, чтобы Вы случайно не изобрели Wolfram Alpha.
Ребята, вы — молодцы!
Смешная опечатка «Но мы наедимся» в разделе Open Source.
Получилось написать (sin(x))^2+(cos(x))^2 только с третьего раза, вот так: sin^2(x) + cos^2(x). Хотя по идее, вернее первый вариант.
Смешная опечатка «Но мы наедимся» в разделе Open Source.
Получилось написать (sin(x))^2+(cos(x))^2 только с третьего раза, вот так: sin^2(x) + cos^2(x). Хотя по идее, вернее первый вариант.
но на бумаге именно так и пишется же. sin^x(blabla), (sin(blabla))^2 это чисто компьютерная фича
На бумаге — да. Но писать в компьютер не компьютерные, а бумажные фичи — это надо ещё привыкнуть: )
Лучше сделать, чтоб можно было писать и так, и так. Тогда точно не будете ошибаться. ;)
Точно. ВольфрамАльфа, к слову, понимает и так и сяк:
www.wolframalpha.com/input/?i=sin^2%28x%29%2Bcos^2%28x%29
(ссылка парсером битая, ну вы поняли)
www.wolframalpha.com/input/?i=sin^2%28x%29%2Bcos^2%28x%29
(ссылка парсером битая, ну вы поняли)
Зачем полагаться на парсер, если заранее видите, что получается битая?
www.wolframalpha.com/input/?i=sin^2%28x%29%2Bcos^2%28x%29
www.wolframalpha.com/input/?i=sin^2%28x%29%2Bcos^2%28x%29
Виноват, исправлюсь.
Похоже, у меня заработали html-тэги ))
Похоже, у меня заработали html-тэги ))
Всё-таки на бумаге оно вообще пишется не так, а как в маткаде)
Одно дело понимать такую странную форму записи — другое чтобы она была единтсвенно верной.
Одно дело понимать такую странную форму записи — другое чтобы она была единтсвенно верной.
как это не так? именно так, ну не считая ^2… надо оба формата понимать, или только компьютерный вариант.
Я имевю ввиду что ручкой оно пишется в пространстве а не в строчку)
Из за таких вещей как sin^x(blabla) усложняется воспириятие, например как понять
sin^x(y+2)(blabla)
Тут (y+2) это степень или это уже блабла)
Вообще я когда есть возможность в тетради пишу (sin(blabla))^x :))) Программистская привычка)
Из за таких вещей как sin^x(blabla) усложняется воспириятие, например как понять
sin^x(y+2)(blabla)
Тут (y+2) это степень или это уже блабла)
Вообще я когда есть возможность в тетради пишу (sin(blabla))^x :))) Программистская привычка)
Спасибо, к следующему релизу пофиксим.
Когда начали работать ужаснулись, какой неоднозначный язык математики, и сколькими способами можно выразить один и тот же объект — прям как perl:)
Когда начали работать ужаснулись, какой неоднозначный язык математики, и сколькими способами можно выразить один и тот же объект — прям как perl:)
Не надо фиксить, у вас же правильно сделано)
Возможно, стоит показывать подсказку, если пользователь вводит формулу неправильно.
Возможно, стоит показывать подсказку, если пользователь вводит формулу неправильно.
Не-не-не! Мне будет очень неприятно, если мне скажут что я неправильно ввожу, и вводить надо именно так, и никак иначе. Мне нравится вводить и так и сяк. Надо быть дружелюбнее к пользователю, не смотря даже на возможную его неграмотность, чем поголовно страдают школьники, которым этот проект будет интересен.
На самом деле самый правильный и однозначный спооб — это ввод математичесскх выражений как при программировании. Да — лишнии скобки, но зато никакой неопределённости.
А с помощью Smath на кпк не посчитать?)
Можно, и на кпк с Smath, и в Maple, и в Maxima, и MatLab, но это все разные подходы.
MatLab система численных вычислений и платформа для Simulink. Это промышленный инструмент, который в основном используется инженерами для расчетов.
Uniquation является системой символьных «вычислений», как Maxima и отчасти Maple, но использует другой подход: вместо того что бы совершенствовать алгоритмы вывода решений (сложная задача), мы улучшаем алгоритмы поиска (более простая задача) и используем internet (crowdsourcing) в качестве символьных вычислений. Потенциально такой подход позволит создать более лучшую систему при меньшем количестве усилий.
MatLab система численных вычислений и платформа для Simulink. Это промышленный инструмент, который в основном используется инженерами для расчетов.
Uniquation является системой символьных «вычислений», как Maxima и отчасти Maple, но использует другой подход: вместо того что бы совершенствовать алгоритмы вывода решений (сложная задача), мы улучшаем алгоритмы поиска (более простая задача) и используем internet (crowdsourcing) в качестве символьных вычислений. Потенциально такой подход позволит создать более лучшую систему при меньшем количестве усилий.
лучше бы она их решала =)
Не факт, алгоритмы решения математических задач справляются не со всеми задачами. И придумать новый алгоритм решения сложнее, чем адаптировать алгоритм поиска. Согласен, что сейчас, пока нету большой базы знаний, uniquation вряд ли может быть сильно полезен, но уже сейчас можно оценить его потенциал.
С другой стороны, поиск решений вместо решения, помимо самого ответа предоставляет ссылку на материал, с помощью которого этот ответ может быть верифицирован. Это же правило используется и в википедии: «Wikipedia does not publish original research or original thought.»
С другой стороны, поиск решений вместо решения, помимо самого ответа предоставляет ссылку на материал, с помощью которого этот ответ может быть верифицирован. Это же правило используется и в википедии: «Wikipedia does not publish original research or original thought.»
отличный задум, посмотрим что будет дальше ))
Действительно круто! Немного коробит, что сайт в зоне .ru не содержит ни слова по-русски на главной(
расскажите пожалуйста про стохастические уравнения, никогда их не понимал…
Ну очень понравилась ваша картинка «найдите х», нестандартное мышление всегда восхищает…
вот тут забавнее
www.liveinternet.ru/users/1446649/post75417023/
www.liveinternet.ru/users/1446649/post75417023/
Картинка и впрямь хороша, но идея принадлежит aaa advertising school.
У них в кампании 2007-го года была целая серия забавных принтов: http://www.adme.ru/prints/2007/12/04/21251/.
У них в кампании 2007-го года была целая серия забавных принтов: http://www.adme.ru/prints/2007/12/04/21251/.
было б еще классно, если б можно было теоретический вопрос вводить и получать на него ответ с примером. например, «решение системы уравнений методом простых итераций» *мечты из области фантастики*
Жалко что не было такого сервиса когда я в школе и в институте учился :(
эх где же вы были в мои студенческие годы :) а вообще — молодцы.
а в чем отличие от Wolfram Alpha?
Есть два фундаментальных отличия, первое в том, что Wolfam|Alpha вычисляет, а (uni)quation ищет. Другое различие в том, что база знаний, на основе которой считает W|A закрыта, а у (uni) открыта, это Internet.
Остальное, включая различия в потенциальной аудитории, следует из этих двух различий.
Остальное, включая различия в потенциальной аудитории, следует из этих двух различий.
Все круто. Очень.
Вижу в .com тоже работает, и это правильно, только вот больше бы порядка с языками.
Вижу в .com тоже работает, и это правильно, только вот больше бы порядка с языками.
отличная система, если бы она появилась годика полтора назад было бы вообще супер.
p.s. на чем она написана?
p.s. на чем она написана?
в закладки!
Задача прикольная, но не факт, что нужная. На кафедре МаТИС мехмата МГУ пишут гораздо более веселую штуку — «решателя» математических задач. Вам бы с ними пообщаться — intsys.msu.ru/staff/
Я правильно понимаю, что пока задачу кто-то не решил и не выложил в свободный доступ на ресурсы, с которыми вы работаете, никто не сможет получить ответ на свой вопрос, даже если он прост как дважды два? Думаю, простые задачки можно и средствами сервера/клиента решать, чтобы быть более уверенными в том, что конечный заинтересованный в ответе пользователь его все-таки получит.
Сервис однозначно в закладки. Иногда бывает полезным найти решение какого-нибудь типичного уравнения, или там, способ сокращения многочлена. В гугле искать информацию такого рода не очень то и удобно — спасал только Вольфрам Альфа. Теперь вот будет дополнение к нему.
Очень понравилась идея графического редактора формул — правда попробовать сам редактор я не смог. Сначала браузер сказал мне, что достоверность цифровой подписи данного апплета проверить невозможно, а потом и вовсе завис (firefox 3.5.5; java plug-in 1.6.0_07). Сейчас вот даже грузиться отказывается.
Очень понравилась идея графического редактора формул — правда попробовать сам редактор я не смог. Сначала браузер сказал мне, что достоверность цифровой подписи данного апплета проверить невозможно, а потом и вовсе завис (firefox 3.5.5; java plug-in 1.6.0_07). Сейчас вот даже грузиться отказывается.
Ребята, вы молодцы что работаете в этом направлении. Поиск по математическим формулам и ресурсам действительно очень затруднён, и в первую очередь из за того что все по-разному вводят и пасят свои формулы, а многие вообще выводят сразу картинки.
Но с вводом формул нужо одназначно что-то делать. Формат TeX и для математиков-то не самый понятный и обыденный, не то что для простых смертных. Без унифицированной системы ввода толку от такого поисковика будет крайне мало + нужно действительно как-то дать возможность указывать что именно ищет пользователь.
Ну и ещё из области пожеланий — конечно хотелось-бы возможности поиска каких-то теорикогрупповых вещей в вашем поиске)
И да, думаю индексация форума мехамата и www.diary.ru/~eek/ была бы хорошей идеей, хотя так как информация там никак не структурирована наверное это будет пости невозможно. Но кто знает :)
Но с вводом формул нужо одназначно что-то делать. Формат TeX и для математиков-то не самый понятный и обыденный, не то что для простых смертных. Без унифицированной системы ввода толку от такого поисковика будет крайне мало + нужно действительно как-то дать возможность указывать что именно ищет пользователь.
Ну и ещё из области пожеланий — конечно хотелось-бы возможности поиска каких-то теорикогрупповых вещей в вашем поиске)
И да, думаю индексация форума мехамата и www.diary.ru/~eek/ была бы хорошей идеей, хотя так как информация там никак не структурирована наверное это будет пости невозможно. Но кто знает :)
Спасибо за отзыв. Алгебра мне самому интересна:) Как вы думаете, обработку каких запросов, связанных с теорией групп, следует добавлять в первую очередь? Я сходу могу придумать только запросы вида «P[x]/(x2+1)», который может задать кто-нибудь, кто хочет найти информацию об этом конкретном поле.
Думаю запросы о фактор группах например Z/Zn были бы полезны, или например о каких то конкретных группах типа Sn или линейных пространствах типа М[2]n или ещё можно было-бы искат mrfrbt-то линейные операторы по их матрице (кстати оригинальная идея) или просто по виду оператора найти чтонибудь о его матрице или как он задаётся.
Хотя опять же тут самая большая пробелма — проблема терминологии, потому что даже в учебниках даётся зачастую раная терминология, не говоря уже о серьёзных публиациях где всякий считает что может обозначать что как надо, и форумах на которых многие и не знают как надо и объясняются чуть ли не на пальцах :)
Мне кажется тут должна быть проведена какая-то работа, по поиску разлчных обозначений одоного и того-же исоставлен справочник понятий, которые понимает поисковая система, вообще даже один такой справочник, в котором ещё-бы и отображалась релевантность понятий был бы просто великолепен.
Кстати, пока писал пришла ещё одна замечательная мысль — индексация не только сайтов но и литературы, если-бы поисковая система индексировала математичесскую литературу цены-б ей не было. Так сложно иногда бывает найти какое-то определение или формулу, которую где-то видел а хз где)
Вообще математичесский поиск — непаханное поле, которое так и ждёт что-б его вспахали, потому-что объёмы информации существуют колосальные, а найти что-то на грани невозможного.
Хотя опять же тут самая большая пробелма — проблема терминологии, потому что даже в учебниках даётся зачастую раная терминология, не говоря уже о серьёзных публиациях где всякий считает что может обозначать что как надо, и форумах на которых многие и не знают как надо и объясняются чуть ли не на пальцах :)
Мне кажется тут должна быть проведена какая-то работа, по поиску разлчных обозначений одоного и того-же исоставлен справочник понятий, которые понимает поисковая система, вообще даже один такой справочник, в котором ещё-бы и отображалась релевантность понятий был бы просто великолепен.
Кстати, пока писал пришла ещё одна замечательная мысль — индексация не только сайтов но и литературы, если-бы поисковая система индексировала математичесскую литературу цены-б ей не было. Так сложно иногда бывает найти какое-то определение или формулу, которую где-то видел а хз где)
Вообще математичесский поиск — непаханное поле, которое так и ждёт что-б его вспахали, потому-что объёмы информации существуют колосальные, а найти что-то на грани невозможного.
Добавил начальную поддержку абстрактной алгебры, несколько примеров есть на главной.
В Coq есть поиск по доказательствам. Например Search _ (?x + ?y = ?y + ?x). ищет доказательства коммутанивности сложения. Но он ищет только по установленным локально кокавским (а не Agda, Arend и тд ;-)) пакетам. Хорошо бы и выложенные на github доказательства индексировать...
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Математическая поисковая система Uniquation