Skip to main content
user25446's user avatar
user25446's user avatar
user25446's user avatar
user25446
  • Member for 12 years, 4 months
awarded
awarded
comment
Is there a software to prove or deduce symbolic inequalities?
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.
awarded
Loading…