Première situation :

• Niveau : 1S
  
  
• Objectif pédagogique : découvrir et/ou calculer les dérivées des fonctions usuelles à partir du taux d'accroissement.
  
  
• Fichier support : Fiche élève au format .pdf ; Fiche élève au format .odt
  
  
• Scénario : Dans la fiche élève, les dérivées des fonctions carré, identité et constante sont calculées à la main (questions 1 , 2 , 3). L'enseignant utilise le calcul formel pour montrer aux élèves en direct le taux d'accroissement des fonctions x³ et x⁴ (questions 4 et 5) . Les élèves interprètent l'affichage écran pour calculer f'(a).
  Pour la fonction racine carrée, il est intéressant aussi d'afficher le taux d'accroissement qui ne sera pas exploitable.
  L'enseignant a alors recours à une transformation manuelle du taux d'accroissement pour en déduire f'(a).
  Pour la question 8, les élèves devinent les dérivées demandées et l'enseignant valide en utilisant directement l'outil dérivation du logiciel. Les élèves conjecturent alors les propriétés (u+v)'=u'+v' et (ku)' = ku'
  Pour la question 9, les élèves utilisent ces propriétés pour déterminer les fonctions dérivées demandées.
  Cette activité a été proposée en classe de première S mais est adaptable en  première ES avec quelques aménagements.

Deuxième situation :

• Niveau : TS

• Objectif pédagogique : Utilisation du calcul formel pour résoudre un problème d'optimisation
  
  
• Fichier support : Fiche élève au format .pdf ; Fiche élève au format .odt
  
  
• Scénario : en salle informatique, les élèves utilisent en autonomie le logiciel de calcul formel pour libérer les élèves d'une technicité excessive (calculs de dérivées et résolution d'équations).

Troisième situation :

• Niveau : TS
  
  
• Objectif pédagogique : Utilisation du calcul formel pour factoriser x⁴+1
  
  
• Scénario : Devoir maison
  
  
• Fichier support : Fiche élève au format .pdf ; Fiche élève au format .odt
  

Quatrième situation :

• Niveau : 1S
  
  
• Objectif pédagogique : découvrir et utiliser des sommes de termes consécutifs de suites
  
  
• Site support : Calcul formel et somme de termes
  

Cinquième situation :

• Niveau : TS
  
  
• Objectif pédagogique : Déterminer des positions relatives de droites et plans de l'espace.
  
  
• Site support : Calcul formel et géométrie dans l'espace
  

Sixième situation :

• Niveau : Seconde
  
  
• Objectif pédagogique : Travailler le calcul littéral avec auto-évaluation.
  
  
• Fichier support : Fiche élève au format .pdf ; Fiche élève au format .odt
  
  
• Scénario : en salle informatique ou avec une classe mobile.

Septième situation :

• Niveau : Seconde
  
  
• Objectif pédagogique : Conjecturer, modéliser et résoudre une équation pour égaliser des aires dans une situation géométrique.
  Le calcul formel est proposé comme coup de pouce aux élèves qui peuvent ainsi développer, factoriser, trouver la forme canonique d'une fonction du second degré ou résoudre une équation.
  
  
• Site support : Le jardinier