Le calcul formel est un type de calcul qui permet de manipuler les grands nombres dans des calculs intensifs en utilisant des algorithmes optimises dans le but de minimiser le temps de calcul. Appele aussi calcul symbolique, pour completer les methodes de calcul numerique. Les logiciels de calcul formel ont beaucoup evolues au cours de ces dernieres annees...