c*****l
发帖数: 26 | 1 mathematica可以吗？
能验证不等式成立的就可以。 |
m****m
发帖数: 2211 | 2 可以验证非常简单的不等式
比如你说a=10
那么a>9 = ture
【在 c*****l 的大作中提到】
: mathematica可以吗？
: 能验证不等式成立的就可以。
|
c*****l
发帖数: 26 | 3 我想验证一个含有 x1,...xn的不等式， n很大
有没有什么软件可以做到
【在 m****m 的大作中提到】
: 可以验证非常简单的不等式
: 比如你说a=10
: 那么a>9 = ture
|
y**e
发帖数: 49 | 4 the formula is linear or non-linear?
Maybe you can post a part of the formula.
we have some solvers that can deal with arithmetic formulas
【在 c*****l 的大作中提到】
: 我想验证一个含有 x1,...xn的不等式， n很大
: 有没有什么软件可以做到
|
c*****l
发帖数: 26 | 5 比如这样的，
(x1^3+....xn^3)(x1^5+....xn^5)<=10(x1^4+....xn^4)^2
【在 y**e 的大作中提到】
: the formula is linear or non-linear?
: Maybe you can post a part of the formula.
: we have some solvers that can deal with arithmetic formulas
|
y**e
发帖数: 49 | 6 x_i range over reals or integers?
this is highly non-linear.
how many such formulas do you have?
how big is n?
sorry for using Engligh, but I cannot input Chinese now.
【在 c*****l 的大作中提到】
: 比如这样的，
: (x1^3+....xn^3)(x1^5+....xn^5)<=10(x1^4+....xn^4)^2
|
c*****l
发帖数: 26 | |
