Resolver integrais e outras coisas

Depois de ler este post do VidaGeek.net:

http://vidageek.net/2008/09/08/integrais/

Onde o Luiz da uma exelente dica sobre um solver online do Mathematica, resolvi falar um pouco sobre symbolic solvers.

Resolvedores simbólicos (symbolic solvers) eram novidade a 10 anos atráz. Os mais famosos são o Mathematica (que o Luiz citou) e o Maple, este último é largamente utilizado no colegial americano há muitos anos. Mas são ambos pagos e caros. São programas com décadas de história e tradição em matemática simbólica.

Atualmente o Matlab também faz isso, depois que a empresa que produz o Matlab adquiriu a empresa do Maple (pelo que ouvi falar, posso estar errado) . Em resumo, o Matlab  "do nada" anunciou, há alguns anos, que havia "criado" um mega-power kit de computação simbólica. Mas se vc olhar de baixo do caput, vai estar escrito "Maple" no bloco do motor.  Existe uma versão para estudantes do Matlab, com limitaçãoes.

Solvers livre também existem uma porção, mas que não chegam nem perto dos pagos em termos de quantidade de recursos. Porem, esses recursos à mais, geralmente, envolvem teorias tão profundas que não podem ser tratadas em disciplinas de graduação. No final das contas, o maior problema dos solvers livres é a interface. Quase todos se limitam a uma linha de comando.

O mais conhecido e completo solver livre é o Maxima (maxima.sourceforge.net). Ele possui uma interface semelhante ao Mathematica, só que mais simples. Existem projetos independentes de interface para o máxima, como o WXMaxima (wxmaxima.sourceforge.net), que simplifica brutalmente o uso.