用于公式推导、符号计算、数值计算