Introduction
1 Notion de système de calcul formel
1.1 Raisons du développement du calcul formel
1.2 Possibilités et critères d'évaluation
2 Exemples de calculs
2.1 Calcul en précision arbitraire
2.2 Calcul matriciel
2.3 Intégration
2.4 Équations algébriques
2.5 Approximation de fonctions spéciales
2.6 Génération automatique de programmes
3 Différents langages de calcul formel
3.1 Macsyma
3.2 Reduce
3.3 Maple
3.4 Mathematica
3.5 Scratchpad II
4 Calcul formel et applications
4.1 Problèmes de développement de logiciel
4.2 Domaines d'applications
4.3 Un domaine des mathématiques appliquées en pleine expansion
4.4 Conclusion
Documentation
