多项式系统
处理多项式的系统是 Wolfram 语言代数计算的特色之一. 以超过一个多世纪的数学研究为基础， Wolfram 语言第一次有效执行多项式方程和不等式组的化简——实现工业体系中的广义代数几何学的多种新应用.
求解和化简
Solve — 求变量通解
Reduce — 化简方程组与不等式成标准形式
Complexes, Reals, Integers — 变量的域
消除变量
Eliminate — 消除方程组中的变量
SolveAlways — 求使等式恒成立的参数值
GroebnerBasis ▪ Resultant ▪ Discriminant ▪ Subresultants
消除量词
Resolve — 消除一般量词
Reduce — 消除量词并化简结果
解集的结构
SemialgebraicComponentInstances ▪ CylindricalDecomposition ▪ GenericCylindricalDecomposition ▪ CylindricalDecompositionFunction ▪ FindInstance
数值解
NSolve — 求多项式方程组的解
最优化 »
Minimize ▪ Maximize ▪ NMinimize ▪ NMaximize
可视化
ContourPlot — 关于 x 和 y 的方程定义的曲线
ContourPlot3D — 关于 x、y 和 z 的方程定义的表面
RegionPlot, RegionPlot3D — 由不等式定义的区域
方程结构
CoefficientList ▪ CoefficientArrays ▪ LogicalExpand