Math 什么是处理数学函数的好库/语言

哪些是处理数学函数的好库。这些类型的东西（最好是开源的）

特别是：

• 函数的导数
• 为一个特定变量求解一个函数，并不总是为一个实值，而是根据其他变量。
  • 例如，用x来解y的x^2+y^2=y
• 绘图功能
• 能够处理分段函数

---

或

我要找的是符号数学

---

这是一个非常好的python库，只需学习很少的特殊语法。

首选语言？有技术限制吗？