Matemática Científica com Sage
O programa Mathematica da Wolfram Research’s é sem dúvidas o “líder” nos softwares de “computação científica” para usuário final e para o mercado de educação. Mesmo tendo uma versão para Linux disponível o programa custa milhares de dólares, mas você pode usar o Sage, um software open source equivalente, e de qualidade notável. A instalação do Sage é um pouco complexa e trás muitas dependências, como o Latex, mas mesmo assim não exige muito conhecimento técnico. A ferramenta tem vários recursos para a análise de teorias avançadas, criptografia e cálculos. O Sage possui até um demo online, com algumas características da versão instalada, você pode acessá-lo no site: www.sagenb.org

Na wiki do Sage há vários exemplos de uso interativo da ferramenta, o que facilita bastante na criação de novas fórmulas.
Na página de download do site oficial são oferecidas várias opções para a instalação, como o código fonte, binários para Linux, ou até um Live CD com o programa já instalado e pronto para uso.