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:分离证明的目标 |