Subversion Repositories wimsdev

Rev

Rev 16103 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 16103 Rev 18479
Line 1... Line 1...
1 
eq:addnum addterm divnum exsides lincomb mulnum rewrite spliteq
 1 
eq:addnum addterm divnum exsides lincomb mulnum rewrite spliteq
2 
eq/addnum:Sumar un número a ambos lados de una ecuación
 2 
eq/addnum:Añadir un número a ambos lados de una ecuación
3 
eq/addterm:Sumar una expresión a ambos lados de una ecuación
 3 
eq/addterm:Añadir una expresión a ambos lados de una ecuación
4 
eq/divnum:Dividir una ecuación por un número distinto de cero
 4 
eq/divnum:Dividir una ecuación por un número distinto de cero
5 
eq/exsides:Intercambia ambos lados de una ecuación
 5 
eq/exsides:Intercambiar ambos lados de una ecuación
6 
eq/lincomb:Suma de ecuaciones con coeficientes
 6 
eq/lincomb:Suma de ecuaciones con coeficientes
7 
eq/mulnum:Multiplica una ecuación por un número distinto de cero
 7 
eq/mulnum:Multiplicar una ecuación por un número distinto de cero
8 
eq/rewrite:Reescribe una ecuación
 8 
eq/rewrite:Reescribe una ecuación
9 
eq/spliteq:Separe los casos según una (in)ecuación
 9 
eq/spliteq:Separar casos según una (in)ecuación
10 
exp:rewrite substit substitg
 10 
exp:rewrite substit substitg
11 
exp/rewrite:Reescritura algebraica de una expresión
 11 
exp/rewrite:Reescritura algebraica de una expresión
12 
exp/substit:Sustitución en una expresión algebraica global o parcial
 12 
exp/substit:
13 
exp/substitg:Sustitución en una expresión global
 13 
exp/substitg:Sustitución en una expresión global
14 
ineq:addeqineq addineq addnum addterm constineq divexp divnum exsides lincomb mulexp mulineq mulnum obvineq rewrite simpdeduc splitineq sqrpos trans
 14 
ineq:addeqineq addineq addnum addterm constineq divexp divnum exsides lincomb mulexp mulineq mulnum obvineq rewrite simpdeduc splitineq sqrpos trans
15 
ineq/addeqineq:Agrega una ecuación a una desigualdad
 15 
ineq/addeqineq:Añadir una ecuación a una desigualdad
16 
ineq/addineq:Suma dos desigualdades
 16 
ineq/addineq:Sumar dos desigualdades
17 
ineq/addnum:Sumar un número a ambos lados de una desigualdad
 17 
ineq/addnum:Sumar un número a ambos lados de una desigualdad
18 
ineq/addterm:Agrega una expresión a ambos lados de una desigualdad
 18 
ineq/addterm:Añadir una expresión a ambos lados de una desigualdad
19 
ineq/constineq:Introducir desigualdad constante
 19 
ineq/constineq:Introducir una desigualdad constante
20 
ineq/divexp:Dividir una desigualdad por una expresión de signo constante
 20 
ineq/divexp:Dividir una desigualdad por una expresión de signo constante
21 
ineq/divnum:Dividir una desigualdad por un número distinto de cero
 21 
ineq/divnum:Dividir una desigualdad por un número distinto de cero
22 
ineq/exsides:Intercambiar los dos lados de una desigualdad
 22 
ineq/exsides:Intercambiar los dos lados de una desigualdad
23 
ineq/lincomb:Suma de desigualdades con coeficientes
 23 
ineq/lincomb:Suma de desigualdades con coeficientes
24 
ineq/mulexp:Multiplica una desigualdad por una expresión de signo constante
 24 
ineq/mulexp:Multiplicar una desigualdad por una expresión de signo constante
25 
ineq/mulineq:Multiplica dos desigualdades positivas
 25 
ineq/mulineq:Multiplica dos desigualdades positivas
26 
ineq/mulnum:Multiplica una desigualdad por un número distinto de cero
 26 
ineq/mulnum:Multiplicar una desigualdad por un número distinto de cero
27 
ineq/obvineq:Introduce una desigualdad obvia mediante aritmética simple
 27 
ineq/obvineq:Introducir una desigualdad obvia por aritmética simple
28 
ineq/rewrite:Reescribe una desigualdad
 28 
ineq/rewrite:Reescribir una desigualdad
29 
ineq/simpdeduc:Deducción simple de desigualdad
 29 
ineq/simpdeduc:Simple deducción de desigualdad
30 
ineq/splitineq:Separar los casos según una desigualdad
 30 
ineq/splitineq:Separar los casos según una desigualdad
31 
ineq/sqrpos:El cuadrado de un número real es positivo o cero.
 31 
ineq/sqrpos:el cuadrado de un numero real es positivo o cero
32 
ineq/trans:Aplicar la transitividad de las desigualdades
 32 
ineq/trans:Aplicar la transitividad de las desigualdades
33 
integrate:basic basic0 byparts chvar chvarinv const cut rewrite sincos
 33 
integrate:basic basic0 byparts chvar chvarinv const cut rewrite sincos
34 
integrate/basic:Fórmula de integración básica
 34 
integrate/basic:Fórmula básica de integración
35 
integrate/basic0:Fórmula de integración de base mínima
 35 
integrate/basic0:Fórmula de integración básica mínima
36 
integrate/byparts:Integración por partes
 36 
integrate/byparts:Integración por partes
37 
integrate/chvar:Cambio de variable directo
 37 
integrate/chvar:Changement de variable direct
38 
integrate/chvarinv:Cambio de variable inversa
 38 
integrate/chvarinv:Cambio inverso de variable
39 
integrate/const:Integración de una constante
 39 
integrate/const:Integración de una constante
40 
integrate/cut:Corta una integración en dos
 40 
integrate/cut:Dividir una integración en dos
41 
integrate/rewrite:Reescribe una integral
 41 
integrate/rewrite:Reescribir una integral
42 
integrate/sincos:Fórmula de integración de sen / cos / sh / ch
 42 
integrate/sincos:Fórmula de integración de sen/cos/sh/ch
43 
prf:cleanhyp contrapose splitgoal
 43 
prf:cleanhyp contrapose splitgoal
44 
prf/cleanhyp:Supuestos claros innecesarios
 44 
prf/cleanhyp:Borrar suposiciones innecesarias
45 
prf/contrapose:Contraposer
 45 
prf/contrapose:Contraposición
46 
prf/splitgoal:Muestre un objetivo por separado (cuando hay varios)
 46 
prf/splitgoal:Mostrar un objetivo por separado (cuando hay varios)