記号微分方程式のソルバDSolveが拡張されました．その主な新機能には，微分および代数方程式の混合系クラスが解けること，および有理係数を持つ線形方程式系の有理数解がすべて求められるようになったことが挙げられます．
例：微分代数方程式を解く
以下では，変数x(t) およびy(t) の間に代数方程式が存在するため，その微分代数方程式の解は，1つの初期値だけで完全に指定されます．
例：有理関数係数を持つ線形系
![DSolve[{x'(t)==x(t)+2y(t), x(t)+y(t)==0, x(0)==1}, {x(t), y(t)}, t]](images/DSolve1.gif "DSolve[{x'(t)==x(t)+2y(t), x(t)+y(t)==0, x(0)==1}, {x(t), y(t)}, t]")
![DSolve[{u^(t) == ((-t^5 - 3 t^3 + 2 t + 6) u(t))/(t (t^2 - 2 t - 3) (t^3 - 1)) + ... + 1) v(t))/((t + 5) (t^3 - 1)) - (4 t (t^2 - 2 t - 3) u(t))/((t + 5) (t^3 - 1))}, {u(t), v(t)}, t]](images/dsolve3_3.gif "DSolve[{u^(t) == ((-t^5 - 3 t^3 + 2 t + 6) u(t))/(t (t^2 - 2 t - 3) (t^3 - 1)) + ... + 1) v(t))/((t + 5) (t^3 - 1)) - (4 t (t^2 - 2 t - 3) u(t))/((t + 5) (t^3 - 1))}, {u(t), v(t)}, t]")
![[en]](/common/images2003/lang_bottom_en.gif)