CHV
Changement de variable
COCOSISI
Formule d'addition: cos cos sin sin
CONSTRIMON
Continue strictement monotone
D2□
Différence de deux carrés
D2C
Différence de deux cubes
DEFRASI
Décomposition de la fraction en fractions simples
DIPO
Division polynominale
FOTRI
Forme trigonométrique
HB
Théorème de l'Hospital-Bernoulli
IPP
Integration par parties
IPS
Intégration par substitution
MICO
Méthode d'identification des coéfficients
NAMNAM
Numérateurs amplifiés
PODI
Point de discontinuité
POIRE
Point de rebroussement
POTAV
Point de tangente verticale
RACACO
Racine carrée complexe
RACUCO
Racine cubique complexe
RELFO
Relation fondamentale
TAF
Théorème des accroissements finis
TAVA
Tableau de simplification de valeur absolue
TRIFO
Formulaire trigonométrique
SICOCOSI
Formule d'addition: sin cos cos sin
SYCA
Système d'équations cartésiennes
SYPA
Système d'équations paramétriques