История изменений
Исправление alpha, (текущая версия) :
Не пробовала бы не писала.
Фишка в том что ни Mathematica, ни maple не подходят для серьезного исследования. Грубо говоря, берём задачу - разложить многочлен на множители.
Mathematica и Maple дадут тебе какой-то красивый результат в красивом интерфейсе. Они не дадут тебе никаких объяснений что этот результат значит, насколько он окончательный, насколько он уникальный. Допустим у них что-то «не разложилось». Ограничение ли это движка или доказанный результат о неприводимости? Ни там ни там толкового объяснения ты не получишь.
Singular - это не маркетинг, финтифлюшки и красивенький UI, а коллекция реализаций различных алгоритмов, основанных на соответствующих научных результатах со ссылками на литературу. Если Singular не может разложить многочлен на компоненты - это не просто «что-то не разложилось», это научно обоснованный результат. Его можно сформулировать как теорему: таким-то алгоритмом такой-то многочлен при таких-то условиях не разложим. С этим результатом можно дальше работать в своих исследованиях.
Понятно что если у тебя задача график гладкой функции отрисовать хоть как-то, а детали и тонкости не важны, то Mathematica тебе это сделает. Но если у тебя не гладкая функция, не простые графики, а тонкие граничные случаи, где тебе нужно именно влезть в математику которая скрывается за интерфейсами, то «причёсанные» проприетарные пакеты ничего тебе не дадут.
Исправление alpha, :
Не пробовала бы не писала.
Фишка в том что ни Mathematica, ни maple не подходят для серьезного исследования. Грубо говоря, берём задачу - разложить многочлен на множители.
Mathematica и Maple дадут тебе какой-то красивый результат в красивом интерфейсе. Они не дадут тебе никаких объяснений что этот результат значит, насколько он окончательный, насколько он уникальный. Допустим у них что-то «не разложилось». Ограничение ли это движка или доказанный результат о неприводимости? Ни там ни там толкового объяснения ты не получишь.
Singular - это не маркетинг, финтифлюшки и красивенький UI, а коллекция реализаций различных алгоритмов, основанных на соответствующих научных результатах со ссылками на литературу. Если Singular не может разложить многочлен на компоненты - это не просто «что-то не разложилось», это научно обоснованный результат. Его можно сформулировать как теорему: таким-то алгоритмом такой-то многочлен при таких-то условиях не разложим. С этим результатом можно дальше работать в своих исследованиях.
Понятно что если у тебя задача график гладкой функции отрисовать хоть как-то, а детали и тонкости не важны, то Mathematica тебе это сделает. Но если у тебя не гладкая функция, не простые графики, а тонкие граничные случаи, где тебе нужно именно влезть в математику которая скрывается за интерфейсами, то стандартные пакеты ничего тебе не дадут.
Исходная версия alpha, :
Не пробовала бы не писала.
Фишка в том что ни матиематика ни maple не подходят для серьезного исследования. Грубо говоря, берём задачу - разложить многочлен на множители.
Mathematica и Maple дадут тебе какой-то красивый результат в красивом интерфейсе. Они не дадут тебе никаких объяснений что этот результат значит, насколько он окончательный, насколько он уникальный. Допустим у них что-то «не разложилось». Ограничение ли это движка или доказанный результат о неприводимости? Ни там ни там толкового объяснения ты не получишь.
Singular - это не маркетинг, финтифлюшки и красивенький UI, а коллекция реализаций различных алгоритмов, основанных на соответствующих научных результатах со ссылками на литературу. Если Singular не может разложить многочлен на компоненты - это не просто «что-то не разложилось», это научно обоснованный результат. Его можно сформулировать как теорему: таким-то алгоритмом такой-то многочлен при таких-то условиях не разложим. С этим результатом можно дальше работать в своих исследованиях.
Понятно что если у тебя задача график гладкой функции отрисовать хоть как-то, а детали и тонкости не важны, то Mathematica тебе это сделает. Но если у тебя не гладкая функция, не простые графики, а тонкие граничные случаи, где тебе нужно именно влезть в математику которая скрывается за интерфейсами, то стандартные пакеты ничего тебе не дадут.