一个线性系统：

一个单变量多项式方程：

高次多项式的五个根：

一个多元多项式方程：

多项式方程和不等式系统：

给出三个解：

如果无解，FindInstance 将返回空列表：

如果解的数量比要求的数字少时，FindInstance 返回所有解：

多项式方程组万亿根中的五个：

定量多项式系统：

一个代数系统：

超越方程：

无解情况：

一个在超越 Root 条件下的解：

无约束方程的五个根：

一个超越方程系统：

超越方程组的三个根：

一个线性系统：

一个单变量多项式方程：

一个单变量多项式不等式：

一个多维的多项式方程：

一个多维的多项式不等式：

多项式方程和不等式系统：

给出四个解：

如果无解，FindInstance 将返回空列表：

如果解的数量比要求的数字少时，FindInstance 返回所有解：

一个单变量多项式系统：

一个代数系统：

分段方程：

分段不等式：

超越方程：

一个在超越 Root 条件下的解：

超越不等式：

超越系统：

一个线性系统方程：

一个线性系统的方程和不等式组：

找到不止一个解：

一个单变量多项式方程：

一个单变量多项式不等式：

二元二次方程：

一个 Thue 方程：

如果解的数量比要求的数字少时，FindInstance 返回所有解：

平方和方程：

毕达哥拉斯方程：

二元方程和不等式组系统：

无解的高阶系统：

丢番图超越系统：

一个多项同余系统：

一个线性系统：

一个单变量多项式方程：

一个多元多项式方程：

找到七个解：

多项式方程和不等式系统：

一个单变量多项式组：

单变量方程：

线性方程组：

多项式方程组：

找到三个解：

涉及量词的系统：

混合实数和复数变量：

求实数值 ，复数值 ，其中 是比 小的实数值：

包括 Abs[z] 的不等式：

在二维空间中的基本几何区域中求实例：

绘制图线：

在三维空间中求基本几何区域中的实例：

绘制图线：

在区域投影中求一个点：

绘制图线：

隐式定义的区域：

使用参数定义的区域：

导出区域：

绘制图线：

区域取决于参数：

求参数 , 和 的值，以满足圆圈包括给定的点：

绘制图线：

使用 指定 是 中的一个向量:

在这种情况下， 是 中的一个向量：

求一个模数 9 的整数解：

求三个解：

从较大解集中，找到包括随机选择的解：

在默认的情况下，FindInstance 每次选择相同解：

用 RandomSeedingAutomatic 每次生成潜在的新实例：

求这个问题的精确解很难：

按限定的 WorkingPrecision，FindInstance 找到一个近似解：

区域 ℛ 是  的子集，如果 为空. 显示 Disk[{0,0},{2,1}] 是 Rectangle[{-2,-1},{2,1}] 的子集：

绘制图线：

显示 Rectangle[] 不是 Disk[{0,0},7/5] 的子集：

绘制图线：

显示 Cylinder[]⊆Ball[{0,0,0},2]:

绘制图线：

显示 Cylinder[]⊈Ball[{0,0,0},7/5]:

绘制图线：

求两个域的交叉点：

求一个几何猜想的反例：

用更多的假定证明猜想：

证明该声明是一个同义反复：

用 TautologyQ 证明：

显示该声明不是一个同义反复；得到一个反例：

用 SatisfiabilityInstances 也可以做到：

找到毕达哥拉斯三元数组：

只要存在，求出毕达哥拉斯三元数组：

当 时，有两个解：

找出毕达哥拉斯四元数并图像化结果：

生成 的所有解并图像化结果：

在所有数字不同的情况下，显示没有 2×2 的纵横图：