解は置換リストとして与えられる：

ReplaceAll (/.)を使って を解で置換する：

解が方程式を満足することを確かめる：

Solveは{}を使って空の解すなわち解がないことを表す：

Solveは{{}}を使って普遍解，すなわち方程式を満足するすべての点を表す：

指定された領域上で解を求める：

記号パラメータを含む係数を持つ方程式を解く：

yについての解の実部をパラメータaの関数としてプロットする：

実数上でのこの方程式の解には，パラメータについての制約が必要である：

xを解で置換して結果を簡約する：

Normalを使って制約を除く：

正の整数上でのこの方程式の解には，新たなパラメータの導入が必要である：

最初10個の解をリストする：

累乗根で可解な整方程式：

一般的な公式を使って三次方程式を解きたければCubicsTrueと設定するとよい：

デフォルトで，SolveはRootオブジェクトを使って数値係数を持つ一般的な三次方程式の解を表す：

一般的な整方程式：

多重根を持つ整方程式：

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

記号係数を持つ整方程式：

代数方程式：

超越方程式：

Solveは，ここではすべての解を求めることはできない：

3つの解を求める：

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

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

次では，Solveはいくつかの解を求めることはできるがそれ以外の解がないことは証明できない：

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

無制限の複素方程式の解を指定された数だけ求める：

記号関数：

非解析的複素方程式：

線形方程式系：

記号係数を持つ線形方程式：

線形方程式の劣決定系：

解のない線形方程式：

整方程式系：

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

記号係数を持つ整方程式：

代数方程式：

超越方程式：

超越方程式の解を指定の数だけ求める：

有界ボックス上の二乗解析系：

非解析的方程式：

整方程式：

多重根を持つ整方程式：

記号係数を持つ整方程式：

代数方程式：

区分方程式：

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

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

特殊関数の零点を使って可解の超越不等式：

指数対数方程式：

高次の疎な整方程式：

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

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

重根を持つ方程式：

平凡な初等関数方程式：

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

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

実領域上の周期初等関数方程式：

線形系：

多項式系：

量化された多項式系：

代数系：

区分系：

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

第1変数が指数対数でその他の変数が多項式である系：

量化された系：

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

量化された系：

第1変数が解析的で有界，その他の変数が多項式である系：

量化された系：

有界領域上の解析方程式の二乗系：

方程式の線形系：

方程式と不等式の線形系：

一変数整方程式：

二変数二次方程式：

トゥエ(Thue)方程式：

二乗方程式の和：

ピタゴラス(Pythagoras)の方程式：

方程式と不等式の有界の系：

解のない高次の系：

超越ディオファントス系：

合同の多項式系：

線形系：

一変数整方程式：

整方程式と整非等式の系：

量化された多項式系：

一変量方程式：

線形方程式系：

整方程式系：

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

実数変数と整数変数の混合：

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

これをプロットする：

3Dにおける特殊領域上で解く：

これをプロットする：

数量化された系：

陰的に定義された領域：

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

派生領域：

これをプロットする：

領域の直積上で限定子を除去する：

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

この答はパラメータ値 に依存する：

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

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

Assumptionsを使ってパラメータについての条件を指定する：

デフォルトで，方程式を満足するのにパラメータを必要とする解は生成されない：

パラメータが仮定として与えられている方程式の場合は解が返される：

解の変数を含む仮定は解く系の一部であるとみなされる：

Assumptionsを使わない同等の文：

パラメータが離散集合に属すと仮定される場合は，任意の条件を含む解が返される：

デフォルトで，Solveは，記号的なパラメータが存在する場合にのみ，一般的な公式を使って三次方程式を累乗根で解く：

数値係数がある多項式については，Solveは公式を使わない：

Cubics->Falseとすると，Solveは決して公式を使わない：

Cubics->Trueとすると，Solveは常に公式を使う：

既約三次関数の実根は，casus irreducibilis（還元不能性）のためにその代数形にはIを含んでいる：

機械精度の数値評価は偽の虚部を与える：

任意精度評価でもなお虚部が残る：

デフォルト設定のCubicsAutomaticを使うと，明示的な実数の結果が取得できる：

Solveは解を表すために新たなパラメータを導入することがある：

GeneratedParametersを使ってパラメータが生成される方法を制御する：

デフォルトで，Solveは逆関数を使うが警告メッセージを出力する：

NumericFunction属性を持つ記号については，記号による逆関数は使われない：

InverseFunctions->Trueとすると，Solveは逆関数の警告メッセージを出力しない：

記号による逆関数はすべての記号に用いられる：

InverseFunctions->Falseとすると，Solveは逆関数を使わない：

代数方程式を解くのには逆関数を使う必要はない：

次では，逆関数を使う必要がないため，Reduceに基づいたメソッドが使われている：

デフォルトで，追加の条件が必要な解は生成されない：

ただし，パラメータが離散的な場合は例外である：

デフォルト設定のMaxExtraConditions->0では，条件が必要な解は返されない：

MaxExtraConditions->1とするとパラメータに関する方程式が1つ必要であるものまで返される：

MaxExtraConditions->2とすると，パラメータに関する方程式が2つ必要であるものまで返される：

必要とするパラメータ方程式の数が最小の解を返す：

すべての解を返す：

デフォルトで，Solveは連続パラメータについての非同値条件は除去する：

MaxExtraConditions->Allとすると，Solveがすべての条件を含むようになる：

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

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

超越系の解をつ求める：

系に記号パラメータが含まれる場合はオプション値が無視される：

デフォルトで，Solveは多項式ではない複素方程式を解くのに逆関数を使う：

Method->Reduceとすると，SolveはReduceを使って完全な解集合を求める：

9を法とする整数について方程式を解く：

方程式系が解を持つ法を求める：

デフォルトで，Solveは，記号的なパラメータがある場合についてのみ累乗根を使って四次方程式を解く際に一般的な公式を使う：

記号係数がある多項式については，Solveは公式を使わない：

Quartics->Falseのときは，Solveは決して公式を使わない：

Quartics->Trueのときは，Solveは常に公式を使う：

Solveは不等値変換を使って得た解を検証する：

VerifySolutions->Falseとすると，Solveは解を検証しない：

VerifySolutions->Falseによって返される解には正しくないものもある：

次は，正しい解を選ぶために高速の数値テストを使っている：

この場合，数値検証で正しい解集合が得られる：

デフォルトで，Solveは方程式の厳密解を求める：

百桁精度の数を使って解を計算する方が速い：

結果は最初の百桁分は厳密解と一致している：

機械数を使って解を計算する方がはるかに速い：

結果はそれでも厳密解にかなり近い：