ADDI
Additivité de l'intégrale
CADI
Carré d'une difference
CHV
Changement de variable
COCOSISI
Formule d'addition: cos cos sin sin
CONSTRIMON
Continue strictement monotone
CUDI
Cube d’une difference
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
PEXNE
Puissance à exposant négatif
PEXRA
Puissance à exposant rationnel
PODI
Point de discontinuité
POIRE
Point de rebroussement
POTAV
Point de tangente verticale
RACACO
Racine carrée complexe
RACUCO
Racine cubique complexe
RANS
Radicaux non semblables
RELFO
Relation fondamentale
RENRAT
Rendre rationnel le dénominateur
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