Wolfram言語の微分方程式を解くための関数は，ユーザが予め処理しなくてもよい適切なアルゴリズムを自動的に選択して，多くの種類の微分代数方程式に適用できるようになっている．

DSolveを使って，独立変数 で について微分方程式 を解く：

DSolveによって与えられる解は，規則のリストのリストである．一番外側のリストは可能な解すべてを含み，小さなリストのそれぞれは特定の解である．

解を関数として使用したい場合は，規則をまず何か（この場合は，solution）に割り当てるとよい：

今度は短縮形solution[[1]]を使う解の最初の部分を取るために，Partを使う．「/.」（ReplaceAllの短縮形）を使ってy[x]を 置換し，「=」を使って関数f[x]を定義する：

これで f[x]が普通の関数のように評価するようになった：

初期条件を指定するために，方程式と初期条件 ( および ) をリストにして囲む：

十分な初期条件が与えられていない場合は，定数C[n]が返される：

2つ目のリストを使って，どの関数を解くべきかを示す：

ここで得られる解は初等関数ではない：

DSolve，「/.」，Table，Plot を一緒に使うと，定数のさまざまな値について完全には指定されていない微分方程式の解をグラフにすることができる．

まずDSolveを使って微分方程式を解き，その結果をsolutionに設定する：

solutionを使う関数g[x]を定義するために，「=」，「/.」，Partを使う：

1 から10のC[1]の整数値について関数t[x]の表を定義する：

Plotを使って表をの範囲でプロットする：