Rev 18479 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 18479 | Rev 18480 | ||
---|---|---|---|
Line 1... | Line 1... | ||
1 | eq/addnum: |
1 | eq/addnum:Suma un número a ambos lados de una ecuación |
2 | eq/addterm: |
2 | eq/addterm:Agrega una expresión a ambos lados de una ecuación |
3 | eq/divnum: |
3 | eq/divnum:Divide una ecuación por un número |
4 | eq/exsides: |
4 | eq/exsides:Intercambia los dos lados de una ecuación |
5 | eq/lincomb:Suma de ecuaciones con coeficientes |
5 | eq/lincomb:Suma de ecuaciones con coeficientes |
6 | eq/mulnum: |
6 | eq/mulnum:Multiplica una ecuación por un número |
7 | eq/rewrite:Reescribe una ecuación |
7 | eq/rewrite:Reescribe una ecuación |
8 | eq/spliteq: |
8 | eq/spliteq:Casos separados según una (in)ecuación |
9 | exp/rewrite: |
9 | exp/rewrite:Reescribe una expresión |
10 | exp/substit: |
10 | exp/substit:Sustitución en una expresión |
11 | exp/substitg:Sustitución en una expresión |
11 | exp/substitg:Sustitución en una expresión |
12 | ineq/addeqineq: |
12 | ineq/addeqineq:Suma una ecuación a una desigualdad |
13 | ineq/addineq: |
13 | ineq/addineq:Suma dos desigualdades |
14 | ineq/addnum: |
14 | ineq/addnum:Suma un número a ambos lados de una desigualdad |
15 | ineq/addterm: |
15 | ineq/addterm:Agrega una expresión a ambos lados de una desigualdad |
16 | ineq/constineq: |
16 | ineq/constineq:Introduce una desigualdad constante |
17 | ineq/divexp: |
17 | ineq/divexp:Divide una desigualdad por una expresión |
18 | ineq/divnum: |
18 | ineq/divnum:Divide una desigualdad por un número |
19 | ineq/exsides:Intercambiar los dos lados de una desigualdad |
19 | ineq/exsides:Intercambiar los dos lados de una desigualdad |
20 | ineq/lincomb:Suma de desigualdades con coeficientes |
20 | ineq/lincomb:Suma de desigualdades con coeficientes |
21 | ineq/mulexp: |
21 | ineq/mulexp:Multiplica una desigualdad por una expresión |
22 | ineq/mulineq: |
22 | ineq/mulineq:Multiplica dos desigualdades |
23 | ineq/mulnum: |
23 | ineq/mulnum:Multiplica una desigualdad por un número |
24 | ineq/obvineq: |
24 | ineq/obvineq:Introduce una desigualdad obvia |
25 | ineq/rewrite: |
25 | ineq/rewrite:Rescribe una desigualdad |
26 | ineq/simpdeduc: |
26 | ineq/simpdeduc:Deducción simple de desigualdad |
27 | ineq/splitineq:Separar los casos según una desigualdad |
27 | ineq/splitineq:Separar los casos según una desigualdad |
28 | ineq/sqrpos:Positividad de un cuadrado |
28 | ineq/sqrpos:Positividad de un cuadrado |
29 | ineq/trans:Transitividad de desigualdades |
29 | ineq/trans:Transitividad de las desigualdades |
30 | integrate/basic:Fórmula |
30 | integrate/basic:Fórmula de integración básica |
31 | integrate/basic0:Fórmula |
31 | integrate/basic0:Fórmula de integración básica |
32 | integrate/byparts:Integración por partes |
32 | integrate/byparts:Integración por partes |
33 | integrate/chvar: |
33 | integrate/chvar:Cambio de variable directo |
34 | integrate/chvarinv:Cambio |
34 | integrate/chvarinv:Cambio de variable inversa |
35 | integrate/const:Integración de una constante |
35 | integrate/const:Integración de una constante |
36 | integrate/cut: |
36 | integrate/cut:Corta una integración en dos. |
37 | integrate/rewrite:Reescribir una integral |
37 | integrate/rewrite:Reescribir una integral |
38 | integrate/sincos:Fórmula de integración de sen/cos/sh/ch |
38 | integrate/sincos:Fórmula de integración de sen / cos / sh / ch |
39 | prf/cleanhyp: |
39 | prf/cleanhyp:Elimina las suposiciones innecesarias |
40 | prf/contrapose:Contraposición |
40 | prf/contrapose:Contraposición |
41 | prf/splitgoal: |
41 | prf/splitgoal:muestra un objetivo por separado (cuando hay varios) |