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