我有一个具有有理系数的多项式 f(x,y)。我想严格验证 f(x,y) >= 0 for 0 <= x <= 1 and 0 <= y <= 1。
我该怎么做（使用 Maple 或其他方式）？
编辑：我所拥有的 12 学位示例可以写成具有正系数的 $x^i(1-x)^jy^k(1-x)^l$ 形式的 23 个项的总和。我很想知道这样的证明是否总是可能的，以及是否有算法或罐装 Maple 代码来执行它。我使用了线性编程，这很痛苦。
我有一个具有有理系数的多项式 f(x,y)。我想严格验证 f(x,y) >= 0 for 0 <= x <= 1 and 0 <= y <= 1。
我该怎么做（使用 Maple 或其他方式）？
编辑：我所拥有的 12 学位示例可以写成具有正系数的 $x^i(1-x)^jy^k(1-x)^l$ 形式的 23 个项的总和。我很想知道这样的证明是否总是可能的，以及是否有算法或罐装 Maple 代码来执行它。我使用了线性编程，这很痛苦。