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