Subversion Repositories wimsdev

Rev

Details | Last modification | View Log | RSS feed

Rev Author Line No. Line
2071 zjchen 1
eq/addnum:方程两边加上一个数
2
eq/addterm:方程两边加一个代数式
3
eq/divnum:用一个数除方程
4
eq/exsides:交换方程的两边
5
eq/lincomb:方程的加权和式
6
eq/mulnum:用一个数乘方程
7
eq/rewrite:重写方程
8
eq/spliteq:根据(不)等式分解成各种情况
9
exp/rewrite:重写代数式
10
exp/substit:表达式内的替换
11
exp/substitg:表达式内的替换
12
ineq/addeqineq:不等式加一个等式
13
ineq/addineq:两个不等式相加
14
ineq/addnum:不等式两边加一个数
15
ineq/addterm:不等式两边加代数式
16
ineq/constineq:引入恒不等式
17
ineq/divexp:用代数式除不等式
18
ineq/divnum:用数除不等式
19
ineq/exsides:交换不等式的两边
20
ineq/lincomb:不等式加权相加
21
ineq/mulexp:用代数式乘不等式
22
ineq/mulineq:两个不等式相乘
23
ineq/mulnum:用数乘不等式
24
ineq/obvineq:引进平凡不等式
25
ineq/rewrite:重写不等式
26
ineq/simpdeduc:不等式的简单推导
27
ineq/splitineq:根据一不等式把情况分解
28
ineq/sqrpos:实数平方的正性
29
ineq/trans:不等式的传递性
30
integrate/basic:基本积分公式
31
integrate/basic0:基本积分公式
32
integrate/byparts:分部积分
33
integrate/chvar:变量的直接替换
34
integrate/chvarinv:变量的逆替换
35
integrate/const:常数的积分
36
integrate/cut:把积分拆分为二
37
integrate/rewrite:重写积分
38
integrate/sincos:sin/cos/sh/ch的积分公式
39
prf/cleanhyp:删除无用的假设
40
prf/contrapose:反证法
41
prf/splitgoal:分离证明的目标