Wolfram 语言

  • 计算实多项式系统的解集的边界、连通分量和其他拓扑属性。 »
  • 用向量和矩阵变量自然而简洁地表示大型系统。 »
  • 高效求解具有特殊结构的大型方程组和不等式组。 »
  • 求解以前棘手的方程组和不等式组。 »
  • 用向量和矩阵变量以更简洁和自然的方式表示优化问题。 »
  • 求解新型精确优化问题。 »
  • 用新函数通过相加、相乘和其他方式组合方程和不等式,分步求解方程。 »
  • 自动证明等式逻辑定理。 »
  • 用内置的公理理论集证明定理。 »
  • 以各种格式给出证明,包括图形、数据集和笔记本。 »

相关范例

相关函数

相关指南

参见 12 的新功能

de en es fr ja ko pt-br