User - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T10:55:09Z http://mathoverflow.net/feeds/user/25446 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103613/is-there-a-software-to-prove-or-deduce-symbolic-inequalities Is there a software to prove or deduce symbolic inequalities? unknown (google) 2012-07-31T14:24:13Z 2012-07-31T23:34:18Z <p>I have a bunch of inequalities, and I'm trying to see if another inequality can be deduced from the first bunch. For example, assuming that $a \leq b$ and $c \leq d$, we can deduce that $a + c \leq b + d$, but we cannot deduce that $a + d \leq b + c$. Is there some software that allows me to take some inequalities which are assumed to be true as input, and to check if another input inequality can be deduced or proved from these earlier inequalities?</p> <p>I am most familiar with MATLAB and it doesn't seem to do this. I realized that I could hack it and say for example $b = a + p$, $d = c + q$ with $p, q \geq 0$, then just writing $b + d - (a + c)$ and asking MATLAB to simplify the expression, and noticing that all the $p, q$ terms are nonnegative. But is there a more natural way to do this?</p> http://mathoverflow.net/questions/103613/is-there-a-software-to-prove-or-deduce-symbolic-inequalities/103630#103630 Comment by 2012-08-02T17:15:24Z 2012-08-02T17:15:24Z Thank you for your answer. My case is linear, so I will be solving a feasibility problem for linear programming to find if the inequality is implied. But this is definitely useful information for me to keep in mind.