Langages de calcul formel

   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