正如它的名字所暗示的,非线性运算属性检查器通过Bernstein多项式是一个得心应手的工具,检查一定多项式的约束问题。 您可以使用应用程序中包含的示例中,或创建您自己的指定变量的多项式的系数和每个变量的约束。