Rev 16321 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
18479 | czzmrn | 1 | eq/addnum:Añadir un número a ambos lados de una ecuación |
2 | eq/addterm:Añadir una expresión a ambos lados de una ecuación |
||
3 | eq/divnum:Dividir una ecuación por un número |
||
4 | eq/exsides:Intercambiar ambos lados de una ecuación |
||
16103 | bpr | 5 | eq/lincomb:Suma de ecuaciones con coeficientes |
18479 | czzmrn | 6 | eq/mulnum:Multiplicar una ecuación por un número |
16103 | bpr | 7 | eq/rewrite:Reescribe una ecuación |
18479 | czzmrn | 8 | eq/spliteq:Separar casos según una (in)ecuación |
9 | exp/rewrite:Reescribir una expresión |
||
10 | exp/substit: |
||
16103 | bpr | 11 | exp/substitg:Sustitución en una expresión |
18479 | czzmrn | 12 | ineq/addeqineq:Añadir una ecuación a una desigualdad |
13 | ineq/addineq:Sumar dos desigualdades |
||
14 | ineq/addnum:Sumar un número a ambos lados de una desigualdad |
||
15 | ineq/addterm:Añadir una expresión a ambos lados de una desigualdad |
||
16 | ineq/constineq:Introducir una desigualdad constante |
||
17 | ineq/divexp:Dividir una desigualdad por una expresión |
||
18 | ineq/divnum:Dividir una desigualdad por un número |
||
16103 | bpr | 19 | ineq/exsides:Intercambiar los dos lados de una desigualdad |
20 | ineq/lincomb:Suma de desigualdades con coeficientes |
||
18479 | czzmrn | 21 | ineq/mulexp:Multiplicar una desigualdad por una expresión |
22 | ineq/mulineq:Multiplicar dos desigualdades |
||
23 | ineq/mulnum:Multiplicar una desigualdad por un número |
||
24 | ineq/obvineq:Introducir desigualdad obvia |
||
25 | ineq/rewrite:Reescribir una desigualdad |
||
26 | ineq/simpdeduc:Simple deducción de desigualdad |
||
16103 | bpr | 27 | ineq/splitineq:Separar los casos según una desigualdad |
28 | ineq/sqrpos:Positividad de un cuadrado |
||
18479 | czzmrn | 29 | ineq/trans:Transitividad de desigualdades |
30 | integrate/basic:Fórmula básica de integración |
||
31 | integrate/basic0:Fórmula básica de integración |
||
16103 | bpr | 32 | integrate/byparts:Integración por partes |
18479 | czzmrn | 33 | integrate/chvar:Changement de variable direct |
34 | integrate/chvarinv:Cambio inverso de variable |
||
16103 | bpr | 35 | integrate/const:Integración de una constante |
18479 | czzmrn | 36 | integrate/cut:Dividir una integración en dos |
16103 | bpr | 37 | integrate/rewrite:Reescribir una integral |
18479 | czzmrn | 38 | integrate/sincos:Fórmula de integración de sen/cos/sh/ch |
39 | prf/cleanhyp:Borrar suposiciones innecesarias |
||
16103 | bpr | 40 | prf/contrapose:Contraposición |
18479 | czzmrn | 41 | prf/splitgoal:Mostrar un objetivo por separado (cuando hay varios) |