一変数整方程式：

厳密ではない係数を持つ整方程式：

重根を持つ整方程式：

高次多項式の5つの根を求める：

代数方程式：

超越方程式：

すべての解を求める：

返す解の数を指定する：

有界領域上の一変数初等関数方程式：

有界領域上の一変数正則関数方程式：

複素平面の垂直線上の純虚数周期の方程式：

すべての解を求める：

無制限超越関数方程式：

線形方程式系：

厳密ではない係数を持つ線形方程式：

線形方程式の劣決定系：

解のない線形方程式：

整方程式系：

多項式系の無数の根のうちの5つを求める：

整方程式の劣決定系：

代数方程式：

超越方程式：

返す解の数を指定する：

整方程式：

重根を持つ整方程式：

代数方程式：

区分方程式：

逆関数を使うと可解である超越方程式：

特殊関数の零点を使うと可解である超越方程式：

特殊関数の零点を使うと可解である超越不等式：

指数対数方程式：

高次の疎な整方程式：

高次の根基を含む代数方程式：

無理実数ベキを含む方程式：

平凡な初等関数方程式：

有限区間内の初等関数方程式：

有限区間内の正則関数方程式：

線形系：

多項式系：

量化された多項式系：

代数系：

区分系：

逆関数を使うと可解である超越系：

第1変数が指数対数，その他の変数が多項式の系：

量化された系：

第1変数が初等で有界，その他の変数が多項式の系：

量化された系：

第1変数が正則で有界，その他の変数が多項式の系：

量化された系：

実数と複素数の変数の混合：

2D内の特殊領域上で解く：

これをプロットする：

3D内の特殊領域上で解く：

これをプロットする：

陰的に定義された領域：

パラメータで定義された領域：

派生領域：

これをプロットする：

パラメータに依存する領域：

これをプロットする：

円が指定された点を含むような，パラメータ ，， の値を求める：

これをプロットする：

を使って が中のベクトルであると指定する：

この場合は， は中のベクトルである：

多項式の個の根のうち個を求める：

多項式系の個の根のうちの個を求める：

超越方程式系の無限に多い解のうちの個を求める：

NSolveは，デフォルトのAutomatic設定ではすべての解を与えないかもしれない：

MaxRootsInfinityとすると，NSolveはすべての解を求めようとする：

自動的に選択されたメソッドで平方多項式系を解く：

"EndomorphismMatrix"法を使う：

"Homotopy"法を使う：

"Monodromy"法を使う：

"Symbolic"法を使う：

この系には個の根があるが，これは，Bernstein-Khovanskii-Kushnirenkoの定理で与えられたの境界よりも厳密には少ない：

デフォルトで使われる"Homotopy"法は，いくつかの根の複数のコピーを返す：

複数のコピーを除去する：

この場合は"Monodromy"法の方が速く，根の複数のコピーも返さない：

"Monodromy"法は超越方程式系の有限個の解を返す：

"Symbolic"法を使ってすべての解を得る：

Methodオプションは，"NSolveOptions"群からシステムオプションをローカルに設定するために使うこともできる：

デフォルトで，NSolveは劣決定複合系をスライスする超平面を導入する：

Method->{"UseSlicingHyperplanes"->False}とすると，NSolveはパラメトリック解を返す：

NSolveは，非等価変換を使って得られた解を検証する：

VerifySolutions->Falseでは，NSolveは解の検証は行わない：

VerifySolutions->Falseで返される解の中には，正しくないものもある：

以下は，高速の数値検定を使って正しい解を選ぼうとする：

次では，単純な数値検証で正しい解集合が与えられる：

デフォルトで，NSolveは機械精度計算を用いて厳密な方程式の解を求める：

次は50桁精度で解を計算する：

円と放物線の交点を求める：

InfiniteLine[{0,0},{1,1}]とInfiniteLine[{{0,1},{1,0}}]の交点を求める：

これをプロットする：

InfiniteLine[{0,0},{1,1}]とCircle[{0,0},1]の交点を求める：

これをプロットする：

ランダムな5本の線の間のペアの線ごとの交点をすべて求める：

BooleanCountingFunctionを使って，厳密に2つの条件が真であることを表明する：

これをプロットする：

円Circle[{1/3 Cos[k 2π/5],1/3 Sin[k 2π/5]}]で，ペアの円ごとの交点を k=0,…,4について求める：

これをプロットする：

InfiniteLine[{{-1,1,1},{1,1,1}}]とInfinitePlane[{{2,0,0},{0,2,0},{0,0,2}}]の交点を求める：

これをプロットする：

InfiniteLine[{{-1,1,1},{1,1,1}}]とSphere[{0,0,0},3]の交点を求める：

これをプロットする：

InfiniteLine[{{-1,1/3,1/2},{1,1/3,1/2}}]とTetrahedron[{{0,0,0},{1,0,0},{0,1,0},{0,0,1}}]の境界の交点を求める：

これをプロットする：

ランダムな3平面の交点を求める：

これをプロットする：

球Sphere[{1/3 Cos[k 2π/3],1/3 Sin[k 2π/3],0}]の交点を k=0,1,2について求める：

これをプロットする：

ランダムな10の平面のうち，厳密に3平面のすべての交点を求める：

BooleanCountingFunctionを使って厳密に3つのことが真となる条件を求める：

これをプロットする：

特定の化学反応ネットワークの平衡を表す多項式系：

変数は化学種の量を表すため，すべての成分が負ではない実数値の解に興味がある：

解を求める：

見かけの多重度はAutomaticメソッドの成果物であり，高速になる傾向があるが，多重度が誇張される場合がある：

Gough-Stewart平行の自由度6のプラットフォームの順運動学：

この解集合は複数の解があるとするが，複数のコピーを削除する：

異なるメソッドを使うと解の複数のコピーは生成されない：

カメラの姿勢推定手順から生じる4変数の6つの方程式の過剰決定系を設定する：

部分系が厳密に決定されるように最初の4つの多項式を使う：

各解について，解の接続による最初の4つの残差は小さいが，最後の2つは無視できない：

次に，残差の二乗和を最小化するための開始点として使用して各解を完成させる：

平面内の2本の無質量ケーブルによって吊り下げられた重りの静的平衡を表す連立方程式：

各実数値の解は他とは異なる平衡位置に対応する．このような解は6つある：

経済学に生じる縮小された8次元系．精度を高めるためにデフォルト以外の方法を使用する：

実数値解を求める：

多項式差分方程式の非線形系：

RSolveは解の解析的な形を求められない：

多項式系を設定して漸近的な値を求める：

これを解き，漸近的で可能な（初期条件に依存する）実漸近値を与える ：