Subversion Repositories wimsdev

Rev

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)