Вопрос изначально глупый.
Диффиренцирование бывает разное. Есть дифференциалы, которые легко считаются машинными методами (метод Симпсона), а бывают дифференциалы, которые машины посчитать не могут.
Определитесь какой вид дифференцирования Вам нужен и ищите его решение. Библиотеки Вам вряд ли понадобятся.