Вышла система компьютерной алгебры Maxima 5.13.0

>И он уверен в том, что открытость исходников как-то повышает точность вычислений

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

>Ясно, именно этот ответ я и ожидал услышать. Не приходило в голову что в достаточно сложной программы (типа октавы) почти невозможно обойти все ветки и рассмотреть все варианты за достаточно короткий (меньше двух лет) срок?

А делая проверки результатов расчетов вообще никогда не докажешь общую правильность алгоритма.

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

Сижу слушаю Проект Константа а там "Шмаляет из максимы года девяностого" тут смарю максима вышла улыбнуло )

>Это ваша максима не умеет и сотой части того, что делает Maple. Будь она хоть трижды гпл, математикам на это плевать

А мне вот интересно, что ты, такой крутой математик, используешь из того, что умеет Maple, но не умеет Maxima?

>Аналогично с gimp-Photoshop, Blender-Maya. Достойных GPL-Пародий на Autocad и MatLab я вообще не видел

Не путаем MatLab с Maxima

>Это справедливо для любой системы компьютерных расчетов. Иными словами, если продолжить мысль товарища record'а компьютеру вообще не место в науке и математике :)

Именно поэтому нужно чтобы появилось open-source железо. Кстати, помнится в интеловских процессорах находили ошибки в вычислениях (в каких-то определенных случаях). И (кроме инженеров интела) никто не в состоянии проверить, что во всех остальных случаях процессор считает правильно.

>Ясно, именно этот ответ я и ожидал услышать. Не приходило в голову что в достаточно сложной программы (типа октавы) почти невозможно обойти все ветки и рассмотреть все варианты за достаточно короткий (меньше двух лет) срок?

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

>чисельная

численная.

PS Тебя с какого курса универа выгнали? :) Со второго, судя по написанию слова :)

>А Maxima хороша для студентов, хотя Mathematica для них тоже стоит не дорого, а пользы ИМХО будет больше. Научаться пользоваться профессиональным софтом.

Maple для студентов вообще бесплатен (обрезанный). Или я не прав?

> А делая проверки результатов расчетов вообще никогда не докажешь общую правильность алгоритма.

Именно! Мы не можем достоверно проверить правильность работы достаточно большой программы по большому счету вообще никак. Собственно поэтому теоремы доказанные компом (а их пачками в теории групп, теории расписаний, теории графов и т.д.) в математике особо не принимаются до сих пор, хотя они и частенько реализуются в пару сотен строк.

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

>Кстати, математикам и на мэпл наплевать, они математикой пользуются.

Ага. Расскажи это моему отцу (д. физ.-мат. наук), который только Maple и пользуется. А то он не знает.

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

И в отличие от машины человек имеет способность ошибаться в совершенно непредсказуемых случаях ;) Ту же максиму вон пилят уже c 68-го года, до сих пор жучков ловят, а работать надо сейчас, а не потом :)

>Расскажи это моему отцу (д. физ.-мат. наук),

Бугога! "А мой брат-то твоего в два раза сильнее!!!" (с) :)))))))))

>музыканту, записывающему диск плевать

Ну вот. Я музыкант. И диски записываю. Ничем, кроме Linux и GNU софта не пользуюсь. Что я делаю не так?

Меня в _универах_ на других _языках_ учили и я _их_ уже закончил..

>Ту же максиму вон пилят уже c 68-го года, до сих пор жучков ловят, а работать надо сейчас, а не потом :)

Это верно, только это -imho- временно, и сотня светлых голов - а над такими проектами, как правило, работают именно светлые головы - это лучше, чем одна, даже если это голова профессора.

Считать ядрёну бомбу?

А что, домохозяйка, кухарка Маша и фрезеровщик Ваня Дулин знают что-нибудь о линуксе?))) Во народ-то поумнел! )

> Это верно, только это -imho- временно, и сотня светлых голов - а над такими проектами, как правило, работают именно светлые головы - это лучше, чем одна, даже если это голова профессора.

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

>Бугога! "А мой брат-то твоего в два раза сильнее!!!" (с) :)))))))))

Я всего лишь привел факт, опровергающий утверждение о том, что Maple математики не используют.

Ура!!!! ЗАМОЧИМ СРАНЫЙ MathCAD!!!!!!!

>Меня в _универах_ на других _языках_ учили и я _их_ уже закончил..

Ааа. понял :))

Ну тогда сорри.

anonymous> Это ваша максима не умеет и сотой части того, что делает Maple. Будь она хоть трижды гпл, математикам на это плевать

Твой Maple не умеет работать там, где мне нужно. Так что Maple идёт лесом.

Киньте пожалуйста ссылки, где можно почитать про организацию параллельных вычислений на Octave.

Если кто знает, объясните плиз, как в Maxima в целых числах решить систему уравнений и неравенств

> Использование закрытых программ в научных и учебных учреждениях - это нонсенс, временная аномалия.

Хотелось бы мне взглянуть одним глазком на такую вещь, как список научных трудов товарища record'а. Уж больно хорошо говорит - может, и пишет также :-) Record, будьте добры, скинььте нам электронный вариант той бумажкит, что Вы в Ученый совет на подпись носили.

anonymous> Математики предпочитают MathCAD!

Поверить не могу, что математики предпочитают это ДЕРЬМИЩЕ, которое даже интегралы правильно считать не умеет!!!!!

anonymous> Максима очень часто грешит неправильными ответами.

Пример в студию.

Ginko> Если кто знает, объясните плиз, как в Maxima в целых числах решить систему уравнений и неравенств

Тебе точность вычислений задать надо или что?

Как на счёт бесплатных пропиетарных пародий на GIMP и Blender? Видел? Gimp-mspaint, а Blender-"*" ?

> если ты профессионал дизайнер, то и зарабатывать должен куеву кучу бабок > Если ты - фрилансер - то, скорее всего, ты уже с опытом и у тебя имеется нехилое бабло

детский лепет

> Blender-Maya

За деньги, но под Linux: http://www.realcoding.net/teach/maya_pro/Prilo%20C/Index1.htm

:)

оффтопик (;

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

Странно, но я вот вполне обычный человек, пересел с винды потому, что она глючит и постоянно лагает (если после запуска парочки приложений не жать ctrl+alt+del и не чистить процессы от всякого мусора, то лаги продолжаются) и пр. и др. Собственно о том, что мой компьютер на много быстрее я узнал поставив себе Линукс. Главная моя проблемма (где-то годичной давности) с переездом была проставление при загрузке в командной строке загрузчика "acpi=off". И я не знаю и не хочу знать что это за ACPI. У меня это прописано и работает нормально.

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

> Таких меньшинство, но они нуждаются в альтернативе windows, а мы нуждаемся в них, так как количество линусоидов должно стать таким, чтобы производители "железа" были вынуждены либо писать драйвера под линукс для своих устройств, либо "отдавать" спеки. И не более того.

_Большинство_ просто боятся пересесть из-за "мозговой пудры" и мелких пакостей подстраиваемых МС совместно с производителями железа. На моём примере: acpi=off (из-за кривой прошивки микросхемы биоса) решило абсолютно все проблемы с переходом. Конечно надо было потом разобраться с "где тут Program Files" и прочими мелочами, но всё встало и работало по умолчанию (и до сих пор работает). Если бы мне ещё помогал при всём при этом профессионал в ЛинуксОС (которого все почему-то пишут в обязательные требования), то я вобще теряюсь в догадках о том "какие проблемы могли бы появится с драйверами".

>Твой Maple не умеет работать там, где мне нужно. Так что Maple идёт лесом.

А где он не умеет работать???

Насолько я знаю, Maple как раз работает везде.

Интересно есть тут кто-нибудь, кто знает что такое ЭВМ МИР-2? :)

> Maple проприетарщина, а Maxima - GPL. Так что фтопку мапле. > Это ваша максима не умеет и сотой части того, что делает Maple. Будь она хоть трижды гпл, математикам на это плевать

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

> Ничего из перечисленного не относится к "работе". Секретарше, набивающей текст, плевать на GPL,

Инструмент выбирает все же не секретарша. Если ей для работы вполне достаточно Open Office - то зачем покупать комерческий аналог? Набрать документ - пол дела. Нужно еще сделать так, чтобы он сохранился и был в любой момент доступен для чтения/правки. Вот тут открытость - важно.

> музыканту, записывающему диск плевать, дизайнеру - плевать. Если инструменты, нужные им в работе проприетарные, они будут ими пользоваться, даже не думая о GPL и открытости, им работать надо.

Мужикам потрошащим ночью осетров тоже плевать на ваши красные книги - им работать надо - икру добывать. Очень хорошая позиция : запереться в себе, все доводы игнорировать, не приводить аргументов и мотивировать все тем, что "надо работать".

P.S. Я нисколько не против применения проприетарного продукта. Но при его выборе нужно внимательно подумать над вопросом "а нужно ли оно"?

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

Не верю (с)

>Насолько я знаю, Maple как раз работает везде.
точно знаю что Maple 10 под Linux есть и работает.

> Почитай статьи и книги про имитационное моделирование, нечеткую логику и нейронные сети, теорию управления - там везде MatLab. Именно для этих задач он и создавался

Именно! Для написания статей и книг.

> Когда показывают об очередном сложном научном эксперименте и можно рассмотреть экраны мониторов - там снова MatLab.

Да, "научный" эксперимент над матлабом это сильно! :)

А могет ли Matlab обсчитать задачу на кластере, выложить результаты на сайт, или разослать их по почте? Самостоятельно собрать статистику и данные со сети и ее обработать? Мaple тоже не может, Кажисть не может не одна специализированная программа, ибо специализация и все такое. Зато есть целый язык программирования который это все может, не проигрывая в функционале не одной из выше перечисленных систем, сей язык довольно распространен и называется Python, добро пожаловать в реальность python.org, scipy.org e.t.c.

dikiy> Насолько я знаю, Maple как раз работает везде.

С каких пор он на ARM стал работать?

А ведь мне Maxima уже помогала именно на ARM.

P.S.

Почему никто не вспомнил весьма мощную математическую систему Axiom?

> Ага. Расскажи это моему отцу (д. физ.-мат. наук), который только Maple и пользуется. А то он не знает.

Не исключено, что он действительно не знает об иных вариантах. Кстати, в чем он пишет статьи?

> Почему никто не вспомнил весьма мощную математическую систему Axiom?

Что за странная манера сравнивать теплое с мягким!

Аксиом, Октава, Математика, Максима... А один умник еще Питона добавил!

Странно, что никто не стал выступать в защиту Си++ -- а что, чем вам Гинак не конкурент Максиме? :-)

> Аксиом, Октава, Математика, Максима... А один умник еще Питона добавил!

Зато я узнал много новых слов!

Давайте еще упомяним hol и spin. ;)

> Споры среди математиков на тему "Maple vs. Mathematica" ничем не уступают по накалу "Gnome vs. KDE",

Ты, видимо, студентов имеешь в виду... Околокомпьютерным математикам, увы, приходится пользоваться и тем, и тем (и еще многим).

Мапл может много из того, что не может Математика (т.к. он значительно проще), но, к сожалению, не умеет много из того, что умеет Математика.

Вообще, по моим наблюдениям, к Маплу больше тяготеют продвинутые инженеры.

Например, чего умеет математика, чего не умеет мэпл?

> Например, чего умеет математика, чего не умеет мэпл?

Язык.

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

Еще -- графика и связь с внешним миром.

Математика очень хороша в качестве продвинутой оболочки-"клея" для чего-нибудь шустрого типа Форма или Фермы и связи с разными базами данных.

Решение систем (нелинейных) неравенств. Когда мне это было надо (вроде математика 4) оно это не умело. Пришлось искать мапл.