我用Mathematica来求解这个微分方程。

I use ___Mathematica to solve this differential equation.

他用Mathematica编写了一个函数来求解这个方程。

He wrote a function in ___Mathematica to solve this equation.