周传高

一般都要mathematica等来化简。几何表达式在符号运算上要借助于别的软件。