Les systèmes de calcul formel permettent la résolution aisée des problèmes naguère inaccessibles. De nombreux exercices et problèmes pourvus de corrections détaillées permettent de comprendre la classe de problèmes traitables par un tel système.