Subversion Repositories wimsdev

eq:addnum addterm divnum exsides lincomb mulnum rewrite spliteq
eq/addnum:Añadir un número a ambos lados de una ecuación
eq/addterm:Añadir una expresión a ambos lados de una ecuación
eq/divnum:Dividir una ecuación por un número distinto de cero
eq/exsides:Intercambiar ambos lados de una ecuación
eq/lincomb:Suma de ecuaciones con coeficientes
eq/mulnum:Multiplicar una ecuación por un número distinto de cero
eq/rewrite:Reescribe una ecuación
eq/spliteq:Separar casos según una (in)ecuación
exp:rewrite substit substitg
exp/rewrite:Reescritura algebraica de una expresión
exp/substit:
exp/substitg:Sustitución en una expresión global
ineq:addeqineq addineq addnum addterm constineq divexp divnum exsides lincomb mulexp mulineq mulnum obvineq rewrite simpdeduc splitineq sqrpos trans
ineq/addeqineq:Añadir una ecuación a una desigualdad
ineq/addineq:Sumar dos desigualdades
ineq/addnum:Sumar un número a ambos lados de una desigualdad
ineq/addterm:Añadir una expresión a ambos lados de una desigualdad
ineq/constineq:Introducir una desigualdad constante
ineq/divexp:Dividir una desigualdad por una expresión de signo constante
ineq/divnum:Dividir una desigualdad por un número distinto de cero
ineq/exsides:Intercambiar los dos lados de una desigualdad
ineq/lincomb:Suma de desigualdades con coeficientes
ineq/mulexp:Multiplicar una desigualdad por una expresión de signo constante
ineq/mulineq:Multiplica dos desigualdades positivas
ineq/mulnum:Multiplicar una desigualdad por un número distinto de cero
ineq/obvineq:Introducir una desigualdad obvia por aritmética simple
ineq/rewrite:Reescribir una desigualdad
ineq/simpdeduc:Simple deducción de desigualdad
ineq/splitineq:Separar los casos según una desigualdad
ineq/sqrpos:el cuadrado de un numero real es positivo o cero
ineq/trans:Aplicar la transitividad de las desigualdades
integrate:basic basic0 byparts chvar chvarinv const cut rewrite sincos
integrate/basic:Fórmula básica de integración
integrate/basic0:Fórmula de integración básica mínima
integrate/byparts:Integración por partes
integrate/chvar:Changement de variable direct
integrate/chvarinv:Cambio inverso de variable
integrate/const:Integración de una constante
integrate/cut:Dividir una integración en dos
integrate/rewrite:Reescribir una integral
integrate/sincos:Fórmula de integración de sen/cos/sh/ch
prf:cleanhyp contrapose splitgoal
prf/cleanhyp:Borrar suposiciones innecesarias
prf/contrapose:Contraposición
prf/splitgoal:Mostrar un objetivo por separado (cuando hay varios)