Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 20 | reyssat | 1 | eq/addnum:Ajouter un nombre aux deux côtés d'une équation |
| 2 | eq/addterm:Ajouter une expression aux deux côtés d'une équation |
||
| 3 | eq/divnum:Diviser une équation par un nombre |
||
| 4 | eq/exsides:Echanger les deux côtés d'une équation |
||
| 5 | eq/lincomb:Addition d'équations avec coefficients |
||
| 6 | eq/mulnum:Multiplier une équation par un nombre |
||
| 7 | eq/rewrite:Réécrire une équation |
||
| 8 | eq/spliteq:Séparer les cas selon une (in)équation |
||
| 9 | exp/rewrite:Réécrire une expression |
||
| 10 | exp/substit:Substitution dans une expression |
||
| 11 | exp/substitg:Substitution dans une expression |
||
| 12 | ineq/addeqineq:Ajouter une équation à une inégalité |
||
| 13 | ineq/addineq:Ajouter deux inégalités |
||
| 14 | ineq/addnum:Ajouter un nombre aux deux côtés d'une inégalité |
||
| 15 | ineq/addterm:Ajouter une expression aux deux côtés d'une inégalité |
||
| 16 | ineq/constineq:Introduire une inégalité constante |
||
| 17 | ineq/divexp:Diviser une inégalité par une expression |
||
| 18 | ineq/divnum:Diviser une inégalité par un nombre |
||
| 19 | ineq/exsides:Echanger les deux côtés d'une inégalité |
||
| 20 | ineq/lincomb:Addition d'inégalités avec coefficients |
||
| 21 | ineq/mulexp:Multiplier une inégalité par une expression |
||
| 22 | ineq/mulineq:Multiplier deux inégalités |
||
| 23 | ineq/mulnum:Multiplier une inégalité par un nombre |
||
| 24 | ineq/obvineq:Introduire une inégalité évidente |
||
| 25 | ineq/rewrite:Réécrire une inégalité |
||
| 26 | ineq/simpdeduc:Simple déduction d'inégalité |
||
| 27 | ineq/splitineq:Séparer les cas selon une inégalité |
||
| 28 | ineq/sqrpos:Positivité d'un carré |
||
| 29 | ineq/trans:Transitivité des inégalités |
||
| 30 | integrate/basic:Formule d'intégration de base |
||
| 31 | integrate/basic0:Formule d'intégration de base |
||
| 32 | integrate/byparts:Intégration par parties |
||
| 33 | integrate/chvar:Changement de variable direct |
||
| 34 | integrate/chvarinv:Changement de variable inverse |
||
| 35 | integrate/const:Intégration d'une constante |
||
| 36 | integrate/cut:Couper une intégration en deux |
||
| 37 | integrate/rewrite:Réécrire une intégrale |
||
| 38 | integrate/sincos:Formule d'intégration de sin/cos/sh/ch |
||
| 39 | prf/cleanhyp:Effacer des hypothèses inutiles |
||
| 40 | prf/contrapose:Contraposer |
||
| 41 | prf/splitgoal:Montrer un but séparément (quand il y en a plusieurs) |