微分方程式を数値的に解くためのアルゴリズムをソルバーsolverという。
例えば、4次のルンゲ-クッタ法 (RK4)で微分方程式を解いた場合、「微分方程式を解くためのソルバーとしてRK4を選択した」と言える。