在不受限的实数上最小化 ：

在约束条件 的限制下最小化 ：

约束条件可以包含任意逻辑组合：

无界问题：

不可行的问题：

可能无法达到下确界：

使用向量变量和向量不等式：

不受限的单变量多项式的最小化：

受限的单变量多项式的最小化：

Exp-log 函数：

有界约束条件上的解析函数：

周期函数：

具有可公度周期的三角函数的组合：

具有不可公度周期的周期函数的组合

分段函数：

利用函数属性信息即可求解的不受限问题：

多元线性约束条件下的最小化：

线性分式约束条件下的最小化：

没有约束条件的多项式最小化：

约束条件下的多项式优化总是可解的：

可能无法获得最小值：

目标函数可能是无界的：

可能没有满足约束条件的点：

量化的多项式约束条件：

代数最小化：

有界超越最小化：

分段最小化：

凸最小化：

最小化凸目标函数 ，使得 为半正定且 ：

绘制函数和区域上的最小值：

参数化线性优化：

最小值是参数的连续函数：

参数化二次优化：

最小值是参数的连续函数：

不受限的参数化多项式的最小化：

约束条件下的参数化多项式的最小化：

单变量问题：

整数线性规划：

整数上的多项式最小化：

求函数在几何区域上的最小值：

绘制这些值：

求两个区域间的最小距离：

绘制这些值：

求使得三角形和椭圆仍然相交的最小的 ：

绘制这些值：

求包含给定三个点的圆盘的最小半径：

用 Circumsphere 直接给出同样的结果：

用 指定 是 中的一个向量：

求两个区域间的最小距离：

绘制这些值：

求精确最小值可能要花费很长时间：

设置 WorkingPrecision->100，我们得到一个精确的最小值，但它可能不正确：

求单位面积矩形的最小周长：

求单位面积三角形的最小周长：

求抛物线轴上的一个点到抛物线的距离：

假设参数 和 之间有特殊关联：

点 p 到区域 ℛ 的距离由 MinValue[EuclideanDistance[p,q],q∈ℛ] 给出. 求 {1,1} 到单位 Disk[] 的距离：

画出图形：

求点 {1,3/4} 到标准单位单纯形 Simplex[2] 的距离：

画出图形：

求点 {1,1,1} 到标准单位球面 Sphere[] 的距离：

画出图形：

求点 {-1/3,1/3,1/3} 到标准单位单纯形 Simplex[3] 的距离：

画出图形：

可以用 MinValue[EuclideanDistance[p,q],{p∈,q∈}] 来计算区域  和  之间的最小距离. 求 Disk[{0,0}] 和 Rectangle[{3,3}] 之间的最小距离：

求 Line[{{0,0,0},{1,1,1}}] 和 Ball[{5,5,0},1] 之间的最小距离：