晕，你竟然不知道这个。。。
符号运算maple和mathematica首当其冲，和你领域有关。纯理论应该不行，但也是很好的助手。
【 在 Haken1 的大作中提到: 】
: 符号软件到没用过你说的是mathematics？可以软件推导公式呢？
--
FROM 223.102.69.*