再帰方程式の解法
文字列の 
番目の項を 
として表す場合には，「再帰方程式」を使ってこれが文字列の他の項とどのような関係かを指定することができる．
RSolveは再帰方程式を取り，これを解いて 
の明示的な式を得る．
| Out[1]= |  |
これは解から最初の10個の
の明示的な表を作る．
| Out[2]= |  |
再帰方程式を解く
| Out[3]= |  |
| Out[4]= |  |
| Out[5]= |  |
| Out[6]= |  |
RSolveはDSolveの離散的な相似体だと考えることができる．微分方程式を解く上で生成される多くの関数と同じ関数が，再帰方程式の記号解を求める上でも現れる．
| Out[7]= |  |
| Out[8]= |  |
RSolveは
のような項の値の明示的な指定は要求しない．DSolveと同じように，自動的に未定義の定数C[i]を導入し，一般解を与える．
| Out[9]= |  |
RSolveは 
に線形にだけ依存するのではない方程式を解くことができる．しかし，非線形方程式の場合は複数の異なる解が与えられなければならないこともある．微分方程式の場合と同じように，再帰方程式の記号解を求めるのは難しく，標準的な数学関数は限られたケースしか扱わない．
| Out[10]= |  |
| Out[11]= |  |
RSolveは 
の引数の違いが整数で表せる常「微分方程式」ばかりでなく，
の引数が乗数的因子と関連する「
階差分方程式」も解くことができる．
これは階乗方程式の
差分バージョンを解く．
| Out[12]= |  |
これは二階の
差分方程式である．
| Out[13]= |  |
| RSolve[{eqn1,eqn2,...},{a1[n],a2[n],...},n] |
| 再帰方程式の対になった系を解く |
再帰方程式系を解く
| Out[14]= |  |
| RSolve[eqns,a[n1,n2,...],{n1,n2,...}] |
| 偏再帰方程式を解く |
偏再帰方程式を解く
複数の変数を持つ関数を含む偏微分方程式が設定できるように，多次元の文字列を含む偏再帰方程式を設定することもできる．微分方程式におけるのと同じように，偏再帰方程式の一般解は未定義の関数を含むことができる．
| Out[15]= |  |
