Ask Your Question
RSS
Sort by » by date by activity ▼ by answers by votes

8 questions

Tagged
  • ×
47
views
2
answers
2
votes
2016-01-03 10:13:52 -0500 tmonteil

Extract equalities from a list of assumptions

535
views
1
answer
1
vote
2015-10-30 03:09:48 -0500 jondo

simplifying rational inequality results

53
views
1
answer
no
votes
2015-10-17 14:09:30 -0500 vdelecroix

Wrong answer on inequality problem

62
views
1
answer
no
votes
2014-02-17 02:43:01 -0500 rws

multiplication -1 with a inequality

105
views
1
answer
no
votes
2012-02-27 07:20:24 -0500 G-Sage

How to get 'true' or 'false' for inequality?

232
views
no
answers
no
votes
2012-02-27 06:54:18 -0500 Anonymous

proving inequalities with SAGE? [closed]

Contributors

vdelecroix gravatar imageG-Sage gravatar imagepepe gravatar imagetmonteil gravatar imagejondo gravatar imageensaba gravatar imagerws gravatar imagepi gravatar imagedaniele gravatar imageleothan gravatar imageLux gravatar image