Blame | Last modification | View Log | RSS feed
eq/addnum:·½³ÌÁ½±ß¼ÓÉÏÒ»¸öÊý
eq/addterm:·½³ÌÁ½±ß¼ÓÒ»¸ö´úÊýʽ
eq/divnum:ÓÃÒ»¸öÊý³ý·½³Ì
eq/exsides:½»»»·½³ÌµÄÁ½±ß
eq/lincomb:·½³ÌµÄ¼ÓȨºÍʽ
eq/mulnum:ÓÃÒ»¸öÊý³Ë·½³Ì
eq/rewrite:ÖØд·½³Ì
eq/spliteq:¸ù¾Ý(²»)µÈʽ·Ö½â³É¸÷ÖÖÇé¿ö
exp/rewrite:ÖØд´úÊýʽ
exp/substit:±í´ïʽÄÚµÄÌæ»»
exp/substitg:±í´ïʽÄÚµÄÌæ»»
ineq/addeqineq:²»µÈʽ¼ÓÒ»¸öµÈʽ
ineq/addineq:Á½¸ö²»µÈʽÏà¼Ó
ineq/addnum:²»µÈʽÁ½±ß¼ÓÒ»¸öÊý
ineq/addterm:²»µÈʽÁ½±ß¼Ó´úÊýʽ
ineq/constineq:ÒýÈëºã²»µÈʽ
ineq/divexp:ÓôúÊýʽ³ý²»µÈʽ
ineq/divnum:ÓÃÊý³ý²»µÈʽ
ineq/exsides:½»»»²»µÈʽµÄÁ½±ß
ineq/lincomb:²»µÈʽ¼ÓȨÏà¼Ó
ineq/mulexp:ÓôúÊýʽ³Ë²»µÈʽ
ineq/mulineq:Á½¸ö²»µÈʽÏà³Ë
ineq/mulnum:ÓÃÊý³Ë²»µÈʽ
ineq/obvineq:Òý½øƽ·²²»µÈʽ
ineq/rewrite:ÖØд²»µÈʽ
ineq/simpdeduc:²»µÈʽµÄ¼òµ¥ÍƵ¼
ineq/splitineq:¸ù¾ÝÒ»²»µÈʽ°ÑÇé¿ö·Ö½â
ineq/sqrpos:ʵÊýƽ·½µÄÕýÐÔ
ineq/trans:²»µÈʽµÄ´«µÝÐÔ
integrate/basic:»ù±¾»ý·Ö¹«Ê½
integrate/basic0:»ù±¾»ý·Ö¹«Ê½
integrate/byparts:·Ö²¿»ý·Ö
integrate/chvar:±äÁ¿µÄÖ±½ÓÌæ»»
integrate/chvarinv:±äÁ¿µÄÄæÌæ»»
integrate/const:³£ÊýµÄ»ý·Ö
integrate/cut:°Ñ»ý·Ö²ð·ÖΪ¶þ
integrate/rewrite:ÖØд»ý·Ö
integrate/sincos:sin/cos/sh/chµÄ»ý·Ö¹«Ê½
prf/cleanhyp:ɾ³ýÎÞÓõļÙÉè
prf/contrapose:·´Ö¤·¨
prf/splitgoal:·ÖÀëÖ¤Ã÷µÄÄ¿±ê