第 12 版提供了表示向量、矩阵和张量变量及条件的新功能。帮助你用更高级的语言来表示问题。下面的例子说明如何在方程和不等式求解器中使用此类条件。
求一对满足向量不等式和范数条件的正交向量。
可视化解。
求解向量不等式组。
可视化解集。
求元素在 0 到 3 之间的所有对称半正定整数矩阵。