MAPLE9.0符号处理及应用——超强自动推理平台精点