Subversion Repositories wimsdev

eq/addnum:Ajouter un nombre aux deux côtés d'une équation

eq/addnum:Sumar un número a ambos lados de una ecuación

eq/addterm:Ajouter une expression aux deux côtés d'une équation

eq/addterm:Sumar una expresión a ambos lados de una ecuación

eq/divnum:Diviser une équation par un nombre non-nul

eq/divnum:Dividir una ecuación por un número distinto de cero

eq/exsides:Echanger les deux côtés d'une équation

eq/exsides:Intercambia ambos lados de una ecuación

eq/lincomb:Addition d'équations avec coefficients

eq/lincomb:Suma de ecuaciones con coeficientes

eq/mulnum:Multiplier une équation par un nombre non-nul

eq/mulnum:Multiplica una ecuación por un número distinto de cero

eq/rewrite:Réécrire une équation

eq/rewrite:Reescribe una ecuación

eq/spliteq:Séparer les cas selon une (in)équation

eq/spliteq:Separe los casos según una (in)ecuación

eq: addnum addterm divnum exsides lincomb mulnum rewrite spliteq

exp:rewrite substit substitg

exp/rewrite:Réécriture algébrique d'une expression

exp/rewrite:Reescritura algebraica de una expresión

exp/substit:Substitution dans une expression algébrique globale ou partielle

exp/substit:Sustitución en una expresión algebraica global o parcial

exp/substitg:Substitution dans une expression globale

exp/substitg:Sustitución en una expresión global

exp: rewrite substit substitg

ineq:addeqineq addineq addnum addterm constineq divexp divnum exsides lincomb mulexp mulineq mulnum obvineq rewrite simpdeduc splitineq sqrpos trans

ineq/addeqineq:Ajouter une équation à une inégalité

ineq/addeqineq:Agrega una ecuación a una desigualdad

ineq/addineq:Ajouter deux inégalités

ineq/addineq:Suma dos desigualdades

ineq/addnum:Ajouter un nombre aux deux côtés d'une inégalité

ineq/addnum:Sumar un número a ambos lados de una desigualdad

ineq/addterm:Ajouter une expression aux deux côtés d'une inégalité

ineq/addterm:Agrega una expresión a ambos lados de una desigualdad

ineq/constineq:Introduire une inégalité constante

ineq/constineq:Introducir desigualdad constante

ineq/divexp:Diviser une inégalité par une expression à signe constant

ineq/divexp:Dividir una desigualdad por una expresión de signo constante

ineq/divnum:Diviser une inégalité par un nombre non-nul

ineq/divnum:Dividir una desigualdad por un número distinto de cero

ineq/exsides:Echanger les deux côtés d'une inégalité

ineq/exsides:Intercambiar los dos lados de una desigualdad

ineq/lincomb:Addition d'inégalités avec coefficients

ineq/lincomb:Suma de desigualdades con coeficientes

ineq/mulexp:Multiplier une inégalité par une expression à signe constant

ineq/mulexp:Multiplica una desigualdad por una expresión de signo constante

ineq/mulineq:Multiplier deux inégalités positives

ineq/mulineq:Multiplica dos desigualdades positivas

ineq/mulnum:Multiplier une inégalité par un nombre non-nul

ineq/mulnum:Multiplica una desigualdad por un número distinto de cero

ineq/obvineq:Introduire une inégalité évidente par simple arithmétique

ineq/obvineq:Introduce una desigualdad obvia mediante aritmética simple

ineq/rewrite:Réécrire une inégalité

ineq/rewrite:Reescribe una desigualdad

ineq/simpdeduc:Simple déduction d'inégalité

ineq/simpdeduc:Deducción simple de desigualdad

ineq/splitineq:Séparer les cas selon une inégalité

ineq/splitineq:Separar los casos según una desigualdad

ineq/sqrpos:Le carré d'un nombre réel est positif ou nul

ineq/sqrpos:El cuadrado de un número real es positivo o cero.

ineq/trans:Appliquer la transitivité des inégalités

ineq/trans:Aplicar la transitividad de las desigualdades

ineq: addeqineq addineq addnum addterm constineq divexp divnum exsides lincomb mulexp mulineq mulnum obvineq rewrite simpdeduc splitineq sqrpos trans

integrate:basic basic0 byparts chvar chvarinv const cut rewrite sincos

integrate/basic:Formule d'intégration de base

integrate/basic:Fórmula de integración básica

integrate/basic0:Formule d'intégration de base minimale

integrate/basic0:Fórmula de integración de base mínima

integrate/byparts:Intégration par parties

integrate/byparts:Integración por partes

integrate/chvar:Changement de variable direct

integrate/chvar:Cambio de variable directo

integrate/chvarinv:Changement de variable inverse

integrate/chvarinv:Cambio de variable inversa

integrate/const:Intégration d'une constante

integrate/const:Integración de una constante

integrate/cut:Couper une intégration en deux

integrate/cut:Corta una integración en dos

integrate/rewrite:Réécrire une intégrale

integrate/rewrite:Reescribe una integral

integrate/sincos:Formule d'intégration de sin/cos/sh/ch

integrate/sincos:Fórmula de integración de sen / cos / sh / ch

integrate: basic basic0 byparts chvar chvarinv const cut rewrite sincos

prf:cleanhyp contrapose splitgoal

prf/cleanhyp:Effacer des hypothèses inutiles

prf/cleanhyp:Supuestos claros innecesarios

prf/splitgoal:Montrer un but séparément (quand il y en a plusieurs)

prf/splitgoal:Muestre un objetivo por separado (cuando hay varios)