Maple ou équivalent

Calcul formel, c'est un peu vague.

Si vous pensez calculs de limites, integrales, resolution d'equations, d'equations differentielles etc., il y a en gros 3 logiciels libres qui en font : Axiom, Maxima et Xcas
Xcas est le plus proche de Maple, avec un mode de compatibilite de syntaxe Maple, il est meme possible de charger des sessions Maple V.5 dans Xcas.

Si vous pensez plutot calculs algebriques avec des polynomes, theorie des nombres, vous pouvez rajouter Pari/GP, et SageMaths vous permet alors d'utiliser tous ces logiciels grace a ses interfaces ainsi que ses propres routines, et d'autres logiciels comme Gap pour la theorie des groupes. Ainsi, SageMaths utilise Maxima pour les calculs de limite, integrales, etc., il peut aussi utiliser Giac/Xcas ou Axiom... Toutes ses possibilites font de SageMaths un logiciel necessitant plus de ressources (disque, memoire...) et plus difficile a prendre en main.