Plus sérieusement, le calcul formel est au programme de mathématiques, pas d'informatique.
C'est beaucoup plus logique. Le professeur de mathématiques a beaucoup plus besoin de calcul formel, et a beaucoup plus d'exemples d'utilisation du calcul formel que le professeur d'informatique.Programme maths a écrit : Calculer, manipuler des symboles, maîtriser le formalisme mathématique
Le calcul et la manipulation des symboles sont omniprésents dans les pratiques mathématiques. Ils en sont des composantes essentielles, inséparables des raisonnements qui les guident ou qu’en sens inverse ils outillent.
Mener efficacement un calcul simple fait partie des compétences attendues des étudiants. En revanche, les situations dont la gestion manuelle ne relèverait que de la technicité seront traitées à l’aide d’outils de calcul formel ou numérique.
La maîtrise des méthodes de calcul figurant au programme nécessite aussi la connaissance de leur cadre d’application, l’anticipation et le contrôle des résultats qu’elles permettent d’obtenir.