一个线性系统：
一元多项式方程：
多元多项式方程：
多项式方程和不等式组总可以约化：
一个量化的多项式系统：
一个代数系统：
可用反函数求解得超越方程：
此例无解：
用特殊函数的零点求解方程：：
求解以下系统不需要黎曼假设：
闭区域上的初等函数方程：
闭区域的解析函数：
复平面上一个竖直条带上的有纯虚数周期的方程：
双周期超越方程式：
超越方程组：
一个线形系统：
一元多项式方程：
一元多项式不等式：
多元多项式方程：
多元多项式不等式：
多项式方程和不等式组总可以被约化：
一个量化的多项式组：
一个代数系统：
分段方程：
分段不等式：
可用反函数求解的超越方程：
可用反函数求解的超越不等式：
可用特殊函数零点求解的超越方程式：
可用特殊函数零点求解的超越不等式：
指数对数方程：
高次稀疏多项式方程：
带有高次根的代数方程：
带有无理实数冪的方程式：
指数对数不等式：
有界区间的初等函数方程：
有界区间的全纯函数方程：
实数域上的周期性初等函数方程：
可用反函数求解的超越系统：
对第一个变量为指数-对数函数而对其它变量为多项式的系统：
量化系统：
对第一变量为初等函数且有界而对其它变量为多项式的系统：
量化系统：
对第一变量位全纯函数且有界而对其它变量为多项式中的系统：
量化系统：
线形方程组：
线形方程和不等式组：
一元多项式方程：
一元多项式不等式：
二元二次方程：
一个 Thue 方程：
一个平方和的方程：
毕达哥拉斯（Pythagoras）方程（勾股定理）：
方程和不等式的有界系统：
无解的高次系统：
超越的丢番图（Diophantine）系统：
同余的多项式组：
一个线形系统：
一个一元多项式方程：
一个多元多项式方程：
一个多项式方程和不等式系统：
约化一个量化的多项式系统：
实数和复数变量的混合：
求出满足
为小于
的实数的
的实数值和
的复数值：
绘制解集：
的结果总是描述和 expr 完全相同的数学问题. 
假定以代数形式出现在不等式中的量为实数，而其他量为复数.
将所有变量和参数限制在域 dom 上. 
实际上是将 expr 写成关于 
、
、... 的条件组合，其中每个条件仅含有之前的 
. 
无关，并且相互无关的代数变量视为独立参数.
的结果上将产生一个 
形式的表达式，其中每个 
可以认为是代表 expr 定义的集合中的一个独立成分.
可以不相交且可以有不同的维数. 在应用 LogicalExpand 后，每个 
有 
的形式. 
的条件的一个嵌套组合，相邻级之间交替用 Or 和 And 连接.
求解. 
将总要消除量词，使量词变量不出现在结果中.
-
平面上的投影：
、
和 
边的几何不等式：
-面体的每个面贡献 
条边，但是由于它们是共享的，所以它们被计算两次：
-面体的每个面贡献 
个顶点，但是由于它们是共享的，所以它们被计算 
次：
，求面的数目：
的值， 使 x==2 是一个解：
的垂直渐近线： 
范例
例 
范围 
