如何用Python和SymPy库进行符号计算在服务器编程中的应用?