通过Bernstein多项式0.2阿尔法的非线性运算性能检查_Non-linear arithmetic property checker via Bernstein polynomial 0.2 Alpha下载地址

一个简单的工具，用于验证一些多项式的限制问题

正如它的名字所暗示的，非线性运算属性检查器通过Bernstein多项式是一个得心应手的工具，检查一定多项式的约束问题。

您可以使用应用程序中包含的示例中，或创建您自己的指定变量的多项式的系数和每个变量的约束。