Какая программа для символьных вычислений самая быстрая?

gcalc?

> gcalc?

Это для построения графиков, а я имел в виду для преобразования формул. Например, упростить Sqrt[a^2+2ab+b^2] до |a+b| . Как Mathematica.

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

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

То есть у каждой -- свои сильные и слабые стороны. Уже что-то. И какая сильнее в каком классе?

sympy

Mathematica

> sympy

Падает на достаточно сложных формулах. Либо отказывается вычислять.

>Mathematica

С 10 вечера думает. Совсем зависла, или стоит подождать ещё?

maxima?

1. mapple

2. matlab

Моск

>Что быстрее всех производит символьные вычисления?

Голова.

> Голова А если надо в символьном виде решить уравнение 4й степени, у которого нельзя понизить степень? Да полно таких примеров, где "головой" придется неделю решать, а компьютер за пару минут решит. Сэкономленное время лучше использовать для чего-нибудь более полезного.

> 1. mapple 2. matlab

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

> Моск

Ну раз у тебя такой мощный мозг, помоги, пожалуйста, со следующей задачей:

f(ri)=(γ+λ*Δγ)*exp(-ri²/(σ+λ*Δσ)²) + (1-(γ+λ*Δγ))/(1+ri²/(σ+λ*Δσ)²)
xt=x1+λ*Δx1+(lx+λ*Δlx)*t yt=y1+λ*Δy1+(ly+λ*Δly)*t
ri=sqrt[(x-xt)²+(y-yt)²]-(Ri+λ*ΔRi)

    1                  
F=Σ ∫ (Ii+λ*ΔIi)*f(ri)dt 
  i 0

Надо найти производную F по λ, выразив её через 
элементарные функции и функцию ошибок.

> Голова.

Можешь ли ты своей головой решить следующее:

f(ri)=γ*exp(-ri²/σ²) + (1-γ)/(1+ri²/σ²)
xt=x1+lx*t 
yt=y1+ly*t
ri=sqrt[(x-xt)²+(y-yt)²] - Ri

    1                  
F=Σ ∫ Ii*f(ri)dt 
  i 0

x1, lx, y1, ly, Ri, Ii, γ, σ — варьируемые параметры

Надо найти все производные F по этим параметрам, выразив их через 
элементарные функции и функцию ошибок.

Решение в http://www.linux.org.ru/view-message.jsp?msgid=2783776 
неверно, так как годится только для Ri=0.

Уточню: Mathematica с этой задачей справилась не до конца.

> maxima?

Упростила sqrt(2*a*b+a^2+b^2) до a+b вместо |a+b| Боюсь, в другой раз пропустить ошибку.

А что надо то? Автоматически решать много-много однотипных задач? Или задача одна и живым человеком сформулированна?

Axiom такого не пропустит. У него самая внятная система типов.

>2. matlab

Матлаб не предназначен для символьных вычислений и использует для этого Maple.

А ну посчитай сотый дифференциал функции f(x,y) = x*x*ln(y+x)

> А что надо то? Автоматически решать много-много однотипных задач? Или задача одна и живым человеком сформулированна?

Одна задача, формулы сложноваты для преобразований в уме.

Хм... Тогда откуда требование к производительности?

Формулы сложноваты и для Mathematica :)

> Формулы сложноваты и для Mathematica :)

А, нет. Ей памяти под них не хватает :)