 |
| ||||
As its name suggests, Non-linear arithmetic property checker via Bernstein polynomial is a handy tool for checking certain polynomial constraint problems.
You can use the examples that the application comes with or create your own by specifying the variables, the coefficient of the polynomial and the bound for each variable.
Requirements:
· Java
Via: Non-linear arithmetic property checker via Bernstein polynomial 0.1 Alpha
